2nd SYSMICS Workshop on Substructural logics: semantics, proof theory, and applications

This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets semantics—Methods, interactions, and connections in substructural logics). Its program will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications, e.g., security, verification and concurrency theory.

Helmut Veith Symposium

Thank you for joining the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from October 2–6, 2017.

Helmut Veith Stipend

Stipend for outstanding female students