Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

21 November 2000, Games in Logic, Language and Computation 4

21 November 2000, Games in Logic, Language and Computation 4
Date and Time: Tuesday November 21, 10.00 - 17.00
Location: Senaatszaal Academiegebouw, Broerstraat 5, Groningen

On the day after the Ph.D. Defense of Hans van Ditmarsch, the fourth Workshop on Games in Logic, Language and Computation will be held in Groningen, Tuesday, November 21.

The workshop series "Games in Logic, Language and Computation" has started out as an informal event where researchers in the ILLC community discuss their interest in the use of games and game theory in the area of logic and language. The third meeting has recently taken place at the Schoolweek of the Dutch Research School in Logic in Nunspeet, and with this fourth meeting in Groningen we have gone international.

The workshop is open to all interested, and there is no participation fee. We would appreciate it, however, if all those who want to participate let us know at "barteld@cs.rug.nl".

The fourth meeting on Games in Logic, Language and Computation has been made possible by the Institute of Mathematics and Computer Science (University of Groningen) and the Logic in Communication group (University of Amsterdam). The organizers are Paul Dekker, Hans van Ditmarsch, Barteld Kooi, Gerard Renardel de Lavalette and Rineke Verbrugge.

Preliminary Program:

Coffee
10.30 - 11.30 Larry Moss (Indiana University)
11.30 - 12.00 Wiebe van der Hoek (Utrecht University)
12.00 - 12.30 Barteld Kooi (University of Groningen)
lunch (sandwiches available)
13.30 - 14.30 Johan van Benthem (University of Amsterdam)
14.30 - 15.00 Alessio Lomuscio (Imperial College London)
tea
15.30 - 16.00 Alexandru Baltag (CWI Amsterdam)
16.00 - 17.00 Hans van Ditmarsch (University of Groningen)
17.30 - 19.00 drinks in the Spiegelzaal at the Academiegebouw

For more information (accomodation, titles, abstracts), see http://www.cs.rug.nl/~barteld/games/gllc4.html

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