Spinoza Day

In October 1996, the Dutch national research organization NWO awarded one of its annual Spinoza grants to Johan van Benthem, professor of logic at the Universiteit van Amsterdam. This grant led to the project Logic in Action, whose general aims were the study of information flow and the promotion of logic within the information sciences. Concrete project activities may be found on the homepage, and in the annual Spinoza project brochures.

5 years and 2 million guilders later the project is coming to an end. On December 20 there will be a one-day event to officially close Logic in Action and reflect on the future. We are pleased to invite you to attend.

In the morning, three distinguished international speakers explore current directions at the interfaces of logic and linguistics, computer science, and the cognitive sciences. During the afternoon the Spinoza project leaders will present some of the results from the last 5 years, in a light manner, including a number of computer demonstrations. The day will be concluded by the presentation of a farewell book 'Logic in Action', which will be presented to the participants.


Preliminary program

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

Location: Agnietenkapel, Oudezijds Voorburgwal 231

The event takes place right after the Amsterdam Colloquium. Participation is free. If you want to participate, please send an e-mail message or fax to Ingrid van Loon at ingrid@science.uva.nl / 020-5255206 (fax). This is needed in view of the restricted number of lunch seats.

The registration deadline is December 13.

Information and registration:
Ingrid van Loon - ILLC
Plantage Muidergracht 24
1018 TV - Amsterdam
Phone: +31 20 525 6519
Fax: +31 20 525 5206
Email: ingrid@science.uva.nl
WWW: www.illc.uva.nl/lia