WITH APOLOGIES FOR MULTIPLE POSTINGS Call for participation A Workshop on Knowledge and Games Liverpool, UK 10th + 11th July 2004 Organising committee + Peter McBurney (University of Liverpool) + Wiebe van der Hoek (University of Liverpool) + Sieuwert van Otterloo (University of Liverpool) + Michael Wooldridge (University of Liverpool) Programme Committee: Johan van Benthem (University of Amsterdam) Valentin Goranko (Rand Afrikaans University) Wilfrid Hodges (Queen Mary University of London) Barteld Kooi (University of Groningen) Alessio Lomuscio (King's College London) Peter McBurney (University of Liverpool) John-Jules Meyer (Utrecht University) Marc Pauly (IRIT Toulouse) Karl Tuyls (Vrije Universiteit Brussel) Mike Wooldridge (University of Liverpool) Ann Nowé (Vrije Universiteit Brussel) 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, contact: Sieuwert van Otterloo sieuwert _ at _ csc.liv.ac.uk www.csc.liv.ac.uk/~sieuwert/knowledgegames ==========================================