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, who tragically passed away in March 2016, was a strong advocate and mentor for women in […]
LAIVe Summer School 2017
Monday, July 3, 2017 – Wednesday, July 5, 2017
Helmut Veith Stipend Award Ceremony
Tuesday, March 14, 2017 at 17:30
LogicLounge in memoriam Helmut Veith
Will robots take away your job? Moshe Vardi will discuss with Dan Falk during CAV 2016
New Trends in Belief Change
May 10, 2016
ALCOP VII
Algebra and Coalgebra meet Proof Theory
2nd edition: VCLA Student Awards
April 16, 2016
2nd edition: VCLA Student Awards
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Helmut Veith 1971-2016
With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.
Logic Lounge with Cliff B. Jones
Formal Methods and the Vienna IBM Lab – March 7, 2016
