Archives

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'

Date: Thursday 20 December 2001
Location: <a target="_blank"
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 on the homepage http://www.illc.uva.nl/lia, on this site 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. 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 / 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:
WWW: http://www.illc.uva.nl/lia

Please note that this newsitem has been archived, and may contain outdated information or links.