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