Fully Funded PhD Positions in LogiCS Doctoral College

NEW: Applications will be screened on the following date: September 1, 2018.

Einladung: Preisverleihung zum Jugend-Video-Wettbewerb „Algorithmen in 60 Sekunden“

Thursday, June 28, 2018 at 13:00

Third Edition of the VCLA International Student Awards 2018

The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.

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