From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2612 Path: news.gmane.org!not-for-mail From: Peter McBurney Newsgroups: gmane.science.mathematics.categories Subject: CFP: Knowledge and Games Date: Tue, 23 Mar 2004 14:17:37 +0000 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241018778 4985 80.91.229.2 (29 Apr 2009 15:26:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:26:18 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Tue Mar 23 14:39:17 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 23 Mar 2004 14:39:17 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1B5qmJ-0001d0-00 for categories-list@mta.ca; Tue, 23 Mar 2004 14:37:31 -0400 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20030708 X-Accept-Language: en-us, en X-MIME-Autoconverted: from 8bit to quoted-printable by tethys.server.csc.liv.ac.uk id i2NEHbP15385 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 34 Original-Lines: 91 Xref: news.gmane.org gmane.science.mathematics.categories:2612 Archived-At: 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=E9 (Vrije Universiteit Brussel) The aim of this workshop is to bring together researchers from the=20 multi-agent systems, logic, and game theory communities in order to discuss work that combines, in some way, formal=20 theories of knowledge and games. The workshop will take place immediately after the European Agent Systems Summer=20 School, which will also be held in Liverpool. This two day workshop is intended as an informal meeting, with plenty of=20 opportunities for discussion. We invite participants to send in short papers or abstracts of ongoing research or=20 previously published results, which will be informally reviewed. The authors of accepted papers will be invited to=20 present their work at the workshop. Informal proceedings will be distributed during the workshop. In addition, all=20 authors of previously unpublished papers are offered the opportunity to submit a full paper to "Knowledge,=20 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D