Please note that this newsitem has been archived, and may contain outdated information or links.
20 December 2001, A Farewell to the Spinoza project 'Logic in Action'
href="http://cf.bc.uva.nl/english/facilities/museums/agniet.html"
>Agnietenkapel</a>, Oudezijds Voorburgwal 231
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
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. The location is Agnietenkapel, Oudezijds Voorburgwal 231. 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.
Program:
9.30 - 9.45 | Opening |
9.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 |
Participation:
The event takes place right after the Amsterdam Colloquium
(December 17-19; http://www.illc.uva.nl/ac2001).
Participation is free.
If you want to participate, please send an e-mail
message or fax to Ingrid van Loon at
ingrid at science.uva.nl /
020-5255206 (fax). This is needed in view of the restricted
number of lunch seats. The registration deadline is December
13.
How to get to the Agnietenkapel:
The Agnietenkapel, Oudezijds Voorburgwal 231, is located in the old
center of Amsterdam. It is a a ten minutes walk from the Central
Station, but one could also take tram lines 4, 9, 16, 24 or 25 from the
Central Station, and get out at the second stop: 'Spui'. Walk down the
Lange Brugsteeg. The fourth street on the left is the Oudezijds
Voorburgwal. For maps of Amsterdam, please visit
http://www.amsterdam.nl/e_map/e_map.html
or http://www.lokatienet.nl/.
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 at science.uva.nl
WWW: http://www.illc.uva.nl/lia
Please note that this newsitem has been archived, and may contain outdated information or links.