• 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.

Invited speakers

• 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

Tutorials

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