Will robots take away your job? Moshe Vardi will discuss with Dan Falk during CAV 2016
May 10, 2016
Algebra and Coalgebra meet Proof Theory
April 16, 2016
Formal Methods and the Vienna IBM Lab – March 7, 2016
November 9-10, 2015
This symposium will take place from June 4 to 6, 2015.
The 7th edition of the PhDs in Logic conference will take place in Vienna, Austria, between May 14 and 16, 2015.
Organised by the Kurt Goedel Society, VSL 2014 was the largest event in the history of logic.
The aim of this symposium is to bring together researchers from various disciplines who are concerned with hidden structure in problem instances. (May 16-18, 2013)