Helmut Veith Stipend Ceremony Award

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

Logic Lounge with Cliff B. Jones

Formal Methods and the Vienna IBM Lab – March 7, 2016

Stream Reasoning Workshop 2015

November 9-10, 2015

Symposium on Knowledge Compilation

This symposium will take place from June 4 to 6, 2015.

PhDs in Logic VII

The 7th edition of the PhDs in Logic conference will take place in Vienna, Austria, between May 14 and 16, 2015.

Vienna Summer of Logic 2014

Organised by the Kurt Goedel Society, VSL 2014 was the largest event in the history of logic.