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


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