09.30 -- 09.45 | Opening |
09.45 -- 10.30 | Hans Kamp (Stuttgart University): Levels of Linguistic Meaning and the Logic of Natural Language |
10.30 -- 11.00 | Coffee |
11.00 -- 11.45 | Joe Halpern (Cornell University): Causes and Explanations: A Structural-Model Approach |
11.45 -- 12.30 | Peter Gärdenfors (Lund University): Modelling concepts |
12.30 -- 14.00 | Lunch |
14.00 -- 17.15 | Spinoza project presentations/demonstrations |
14.00 -- 14.45 | Jan van Eijck - Dissemination of Logic |
14.45 -- 15.30 | Yde Venema/ Paul Dekker - Logic in Communication |
15.30 -- 16.00 | Tea |
16.00 -- 16.45 | Maarten de Rijke - Computational Logic |
16.45 -- 17.15 | Johan van Benthem - Closing remarks |
Presentation of the farewell book 'Logic in Action' | |
17.15 -- .. . .. | Drinks |