LATD 2014 will be part of the Vienna Summer of Logic, the largest convention in the history of logic.





Last page update: 20 October 2014
Site created by Lara Spendier
Web administration: Roman Kuznets
For further information please contact: latd2014 at logic dot at

Invited speakers



Tutorials