Matthias Baaz (Technical University of Vienna): "The Generalization of Proofs and Calculations"
     Abstract

Roberto Di Cosmo (University of Paris 7): "Introduction to Linear Logic and Sequent Calculus"
    
     Abstract

Tim Fernando (Trinity College, Dublin): "Natural Language Semantic Representations as Types"
     Abstract
     Course Homepage

Hans-Martin Gaertner (ZAS, Berlin): "Embedded Root Phenomena: Linguistic, Formal and Philosophical
     Aspects"
     Abstract

Valentin Goranko (Rand Afrikaans University, Johannesburg): "Temporal Logics of Computations"
     Abstract

Jason Hickey and Aleksey Nogin (California Institute of Technology, Pasadena): "Introduction
     into Formal Computer-Aided Reasoning and the MetaPRL Theorem Prover"
     Abstract

James Higginbotham (University of Southern California, Los Angeles): "Speaking of Events"
     Abstract

Gerhard Jaeger (Stanford University and University of Potsdam) and Robert van Rooy (University
     of Amsterdam): "Language Games and Evolution"
     Abstract
     Course Homepage

Larry Moss (Indiana University, Bloomington): "Logic, Language and Information"
     Abstract

Carl Pollard (The Ohio State University, Columbus): "Higher Order Grammar"
     Abstract

James Rogers (Earlham College, Richmond): "Formal Foundations of Model-Theoretic Syntax"
     Abstract

Thomas Ede Zimmermann (University of Frankfurt): "Classical Montague Grammar"
     Abstract

Schedule

View Rooms

DODD 147

DODD 161

DODD 175