Logic List Mailing Archive

GLLC 11 ("Games in Logic, Language and Computation"), Amsterdam (NL)

Games in Logic, Language and Computation 11

http://staff.science.uva.nl/~sotterlo/gllc/

Amsterdam, September 19 2005

This workshop is the eleventh episode in an irregular workshop series
called Games in Logic, Language and Computation. These workshops have been
organised at different locations in The Netherlands (see this page for an
overview of previous episodes). These workshops are intended as a informal
and lively discussion platform, where both senior researchers and
promising young researchers from different backgrounds can share ideas. In
this episode, attention is given to computational aspects such as
complexity, to applications in social science, and to the uses of games
inside logic.

Attendance of this workshop is free. If you intend to visit, you are
requested to send an email to Sieuwert van Otterloo
(sieuwert@bluering.nl).

The workshop is generously sponsored by

    * The Netherlands Organisation for Scientific Research NWO
    * The Instititute for Logic, Language and Computation (ILLC) of the 
      University of Amsterdam 

The workshop is organised by

    * Johan van Benthem
    * Sieuwert van Otterloo 

Programme

10.00 -10.50 	Bernard Walliser: To know or not to know: the information 
		value in semantic games
10.50 -11.10 	Coffee
11.10 -11.40 	Eric Pacuit: The Logic of Communication Graphs
11.40 -12.30 	Michael Wooldridge: Qualitative Coalitional Games
12.30 -13.40 	Lunch
13.40 -14.10 	Audrey Yap: Product Update and Looking Backward
14.10 -14.40 	Fenrong Liu: Modelling Preference Upgrade
14.40 -15.10 	Tero Tulenheimo and Merlijn Sevenster
15.10 -15.30 	Coffee
15.30 -16.00 	Ulle Endriss: Weighted Propositional Formulas for 
		Cardinal Preference Modelling
16.00 -16.30 	Sieuwert van Otterloo
16.30 -16.40 	(Short Coffee break)
16.40 -17.30 	Wilfrid Hodges: Maze games, proof games and some others

Location

The workshop takes place in room D.028, Nieuwe Achtergracht 129 in 
Amsterdam. To reach this building, take the metro to Weesperplein.