ALGO 2017 Congress on Algorithms
This September, the premier annual gathering on algorithms in Europe took place in the science hub of central Europe – Vienna.
Helmut Veith Stipend Award Ceremony
The Helmut Veith Stipend for female scientists The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Helmut Veith,…
LAIVe Summer School 2017
The doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE) hosted a summer school on Logic, Artificial Intelligence and Verification, supported by VCLA, taking place at TU Wien, Vienna, Austria from July…
Helmut Veith Stipend Award Ceremony
The Helmut Veith Stipend for Female Scientists
Vladislav Ryzhikov and Michael Zakharyaschev
Filippo Bonchi
Danny Hermelin
Ondřej Kunčar
CoCon: A Non-Leaking Conference System
Rupak Majumdar
[Software Testing] Hitting families of schedules
Victor Dalmau
Approximation of MIN CSP