LCMAS 2004

second international workshop on

Logic and Communication in Multi-Agent Systems

Nancy, France 16-20 August, 2004

a workshop of

[ESSLLI 2004] ESSLLI 2004
The 16th European Summer School in
Logic, Language and Information


[themes] | [committee] | [program] | [proceedings]

The second edition of the LCMAS-workshop aims at bringing together graduate students and 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 ESSLLI04, the 2004 edition of the European Summer School on Logic Language and Computation, to be held in Nancy in August 2004.


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





The proceedings of the first LCMAS workshop held in June 2003 in Eindhoven are published as volume 85, issue 2 of the Electronic Notes in Theoretical Computer Science series in 2004. This year's informal proceedings will be published by ESSLLI with selected papers appearing as volume 126 in the ENTCS.  

Wiebe van der Hoek (Liverpool)
Alessio Lomuscio (King's College London)
Erik de Vink (Eindhoven)
Mike Wooldridge (Liverpool)

Johan van Benthem (University of Amsterdam) Yannis Labrou (Fujitsu Labs of America)
Frank de Boer (CWI Amsterdam, Utrecht) Riccardo Pucella (Cornell University)
Iliano Cervesato (ITT Industries) Pierre-Yves Schobbens (University of Namur)
Marco Colombetti (Politecnico di Milano) Marek Sergot (Imperial College)
Rogier van Eijk (University of Utrecht) Luca Viganò (ETH Zurich)
Andrew Jones (King's College London)


Last updated March 3rd, 2005