Logic List Mailing Archive

Retirement event Johan van Benthem

26-27 Sep 2014
Amsterdam, The Netherlands

----------------------------------------------------------------------
 	   Celebration event in honour of Johan van Benthem
 			 26-27 September 2014
 	    Institute for Logic, Language and Computation
 		       University of Amsterdam
 		      Amsterdam, The Netherlands
 		     http://www.illc.uva.nl/J65/
----------------------------------------------------------------------

On 26 and 27 September 2014 ILLC and the University of Amsterdam
organize a Celebration Event for Johan van Benthem, on the occasion of
his official retirement from the University of Amsterdam. The first
day will have lectures for the general public, Johan's valedictory
lecture, and a reception. The second day is a scientific workshop
devoted to current trends in logic, with emphasis to the areas where
Johan was or is active.

Friday September 26: The Impact of Logic
Venue: Aula Oude Lutherse kerk, Singel 411, Amsterdam.

Friday September 26 will bring us Lectures on the Impact of Logic by
five internationally renowned speakers who all have made significant
contributions to general public awareness of logic, and to the
development of areas of logic related to the interests of Johan van
Benthem:

* Vincent Hendricks (http://www.vince-inc.com/vincent/)

* Hans Kamp (http://www.ims.uni-stuttgart.de/institut/mitarbeiter/hans)

* Peter Gaerdenfors (http://www.fil.lu.se/en/department/staff/PeterGardenfors)

* John Perry (http://john.jperry.net/)

* Fenrong Liu (http://fenrong.net/).

The talks will be accessible to a broad audience.

In the afternoon, Johan van Benthem will give his Valedictory Lecture
as University Professor of the University of Amsterdam. This is followed by 
speeches, a book presentation, and a reception offered
by the University of Amsterdam.

Saturday September 27: Workshop on the Future of Logic
Venue: Tobacco Theater, Nes 75--87, Amsterdam

Prominent colleagues and friends of Johan van Benthem will give talks
targeted at an audience specialized in logic. All colleagues and
former students of Johan are invited to attend. Themes are:

* Logic, Mathematics and Computation
   Talks by Albert Visser (Utrecht), Hajnal Andreka and Istvan Nemeti
   (Budapest), Balder ten Cate (Santa Cruz).

* Logic, Language and Cognition
   Talks by Thomas Icard (Stanford), Dag Westerstahl (Gothenburg),
   Rineke Verbrugge (Groningen).

* Logic and Philosophy
   Talks by Hannes Leitgeb (Munich), Wesley Holliday (Berkeley), Sergei
   Artemov (New York, Moscow).

* Logic, Games and Argumentation
   Talks by Samson Abramsky (Oxford), Dov Gabbay (London), Giacomo Bonanno
   (UC Davis, California).

Saturday Evening: Buffet Dinner and Reunion Party

The workshop will be succeeded by a buffet dinner with speeches, and then 
by a big reunion party. The party is meant for everyone connected to ILLC 
or to Johan. This includes students, colleagues, collaborators, friends 
and family. You are all cordially invited to be there, and to help us make 
this a truly memorable event.

For further info on the Johan Jubilee Events we advise you to keep an eye 
on the dedicated website http://www.illc.uva.nl/J65, where further details 
will appear.

The organizers:

Alexandru Baltag, Jan van Eijck, Peter van Ormondt, Robert van Rooij 
(chair)