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.
 

WORKSHOP SPECIFIC THEMES

Particular focus of attention will be given to papers relating to the following specific themes:


 
PROGRAM COMMITEE
David Basin (Zurich) Yannis Labrou (Fujitsu Labs of America)
Johan van Benthem (Amsterdam) Alessio Lomuscio (King's College London)
Frank de Boer (CWI Amsterdam, Utrecht) Marek Sergot (Imperial College London)
Marco Colombetti (Milan) Paul Syverson (Naval Research Lab)
Tim Finin (Baltimore) Erik de Vink (Eindhoven)
Wiebe van der Hoek (Liverpool) Mike Wooldridge (Liverpool)

INVITED SPEAKERS

ACCEPTED PAPERS


  See here for the time schedule.
 

PUBLICATION DETAILS

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
 

WORKSHOP ORGANIZERS

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