CFP: Knowledge and Games

[Peter McBurney <p.j.mcburney@csc.liv.ac.uk>]

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

==========================================