10-11 July 2004, Knowledge and Games Workshop

The aim of this workshop is to bring together researchers from the multi-agent systems, logic, and game theory communities in order to discuss work that combines, in some way, formal theories of knowledge and games. The workshop will take place immediately after the European Agent Systems Summer School, which will also be held in Liverpool.

This two day workshop is intended as an informal meeting, with plenty of opportunities for discussion. We invite participants to send in short papers or abstracts of ongoing research or previously published results, which will be informally reviewed. The authors of accepted papers will be invited to present their work at the workshop. Informal proceedings will be distributed during the workshop. In addition, all authors of previously unpublished papers are offered the opportunity to submit a full paper to "Knowledge, Rationality and Action", which will be reviewed by the workshop PC.

Important dates (all in 2004)
Paper deadline: May 1st
Acceptance notification May 14th
Early registration deadline May 28th
Workshop: saturday 10 and sunday 11th of July (directly after EASSS summer school)

Topics of interest include, but are not restricted to:
+ epistemic logic
+ coalition/cooperation logics
+ game semantics of logic
+ logics for games
+ formal theories of knowledge and action
+ connections between process models and game models
+ knowledge games
+ epistemic model checking
+ epistemic properties of solution concepts

For more information, see http://www.csc.liv.ac.uk/~sieuwert/knowledgegames/