Monday, August 18 
5:005:30 
Introduction
Magdalena and Stefan Kaufmann, University of
Connecticut

5:306:30 
What
model theory does, and does not do
Michael Glanzberg, Northwestern
University

Tuesday, August 19 
5:005:30 
Prooftheoretic semantics as a viable
alternative to modeltheoretic semantics for
natural language
Nissim Francez, TechnionIIT

5:306:00 
Assumptions about admissible models and the
semantics
Igor Yanovich, University of
Tübingen

6:006:30 
Frames and attributes
Wiebke Petersen, University of
Düsseldorf

Wednesday, August 20 
5:005:30 
A
conceptualepistemic perspective on model
theory
Sven Lauer, University of Konstanz and
Alex Djalali, Stanford University

5:306:30 
Semantic values and modeltheoretic 'semantics'
Thomas Ede Zimmermann, University of
Frankfurt

Thursday, August 21 
5:005:30 
Conceptual spaces as a basis for semantic
modelling
Peter Gärdenfors, Lund
University

5:306:00 
Logical
consequence: From logical terms to semantic
constraints
Gil Sagi, LMU München

6:006:30 
Truth in a model as a model of truth
Ephraim Glick, University of
St. Andrews

Friday, August 22 
5:005:30 
Embodied
models
Uli Sauerland and John Tomlinson, ZAS
Berlin

5:306:30 
What kind of theory is a modeltheoretic
semantics of a natural language?
Stanley Peters, Stanford University
