Mihaela Rozman
Emilia Oikarinen
Matti Järvisalo
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,…
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,…
Helmut Veith Stipend for Female Master´s Students (Deadline November 30)
Are you planning or already pursuing your master degree in the field of computer science at TU Wien? Invited to apply for the annually awarded Helmut Veith Stipend.
Iyad Kanj
LogicLounge in Memoriam Helmut Veith. Logic in Computer Science: A Teaching Perspective
This instance of the LogicLounge was in memoriam Helmut Veith, the initiator of the LogicLounge discussion series. The topic of the event honored Helmut Veith´s contributions to the education of numerous young researchers. Helmut Veith (1971-2016) was passionate about improving…
ALGO 2017 Congress on Algorithms
This September, the premier annual gathering on algorithms in Europe has taken place in the science hub of central Europe – Vienna. Congress Hosts The ALGO 2017 congress was hosted by Algorithms and Complexity Group of the Faculty of Informatics,…
Parameterized Complexity Summer School (PCSS)
The 3rd Parameterized Complexity Summer School (PCSS) held in Vienna, Austria, from September 1-3 as a pre-event of ALGO 2017 attracted and connected a record number of more than 100 participants.