- Home Page
- Important dates
- Committees & Contact
- Invited speakers & Tutorials
- Accepted Talks
- Scientific Program
- Venue
- Social program
- Registration
- Previous LATD conferences
- Vienna Summer of Logic
- Gödel Fellowship

*
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

Site created by Lara Spendier

Web administration: Roman Kuznets

For further information please contact: latd2014 at logic dot at

**Silvio Ghilardi**, Department of Mathematics, University of Milano, Italy. slides**Melvin Fitting**, Dept. of Mathematics and Computer Science, Lehman College, USA. slides**George Metcalfe**, Mathematical Institute, University of Bern, Switzerland. slides**Dale Miller**, INRIA Saclay & LIX, Ecole Polytechnique Paris, France. slides**Dana Scott**, Computer Science Department, Carnegie Mellon University, USA. slides**Alasdair Urquhart**, Department of Philosophy, University of Toronto, Canada. slides

**Franz Baader**, Theoretical Computer Science, TU Dresden, Germany.**Vincenzo Marra**, Department of Mathematics, University of Milano, Italy. part 1 part 2