LCMAS
a workshop on
Logic and Communication in Multi-Agent Systems
Eindhoven, the Netherlands - June 29, 2003
a satellite of ICALP 2003
[themes] | [committee] | [program] | [organisers] | [proceedings]
The workshop aims at bringing together
researchers interested in topics related to the use of formal tools when
applied to modelling, specifying, verifying, and reasoning about multi-agent
systems in which communication and updating play a crucial role. Specifically,
the workshop aims at providing a forum for discussing technical issues
that arise with formalisms (epistemic, temporal, dynamic and authentication
logics and tools) inspired by the needs of modelling information exchanges
in multi-agent systems.
The workshop will be held within the
context of ICALP 2003. Refer to the ICALP 2003 homepage for registration details. The workshop will be
held in room 12 of the Auditorium of TUE. See
here for travel
directions.
Particular focus of attention will be given to papers relating to the following specific themes:
Alternating-time logic with imperfect recall
Epistemic Program Constructs:
learning, updating, responding, intercepting
ACCEPTED PAPERS
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello
and Paolo Torroni
Wiebe van der Hoek and Alessio Lomuscio
Henk-Jan Lebbink, Cilia Witteman, John-Jules Meyer
Sieuwert van Otterloo, Wiebe van der Hoek and Michael Wooldridge
Franco Raimondi and Alessio Lomuscio
Mario Verdicchio, Marco Colombetti
See here for the time schedule.
The proceedings of the workshop will
published as a
volume
in the Electronic Lecture Notes in Theoretical Computer
Science series. Printed proceedings will be distributed at the workshop.
There is a provisional agreement for a special issue of a scientific journal.
CAMERA-READIES FOR THE ON-SITE PROCEEDINGS
Wiebe van der Hoek, University of Liverpool
Alessio Lomuscio, King's College London
Erik de Vink, Technische Universiteit Eindhoven
Mike Wooldridge, University of Liverpool
Webmaster: Wouter de Vink