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
Vienna Science Ball 2016
Successful second cooperation with the Vienna Science Ball
Austrian Computer Science Day 2015
All-Austrian computer scientists’ meet-up
Stream Reasoning Workshop 2015
November 9-10, 2015