Electronic Notes in Theoretical Computer Science

[Home Page of ENTCS] [Volume/Issue List of ENTCS] [Author Index of ENTCS]

Preface Volume 85, Issue 2

LCMAS 2003, the first international workshop on Logic and Communication in Multi-Agent Systems, was held on June 29th, 2003 in Eindhoven, the Netherlands as a pre-conference satelite of the thirtieth International Colloquium on Automata, Languages and Programming ICALP 2003. These proceedings contain invited and contributed papers that were revised based on the feedback of a reviewing process and discussions during the workshop and have been collected in this volume.

The LCMAS workshop series aims at bringing together researchers interested in topics related to the development and 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. Therefore, the workshop wants to provide a forum for discussing technical issues that arise in formalisms (epistemic, temporal, dynamic and authentication logics and tools) inspired by the needs of modelling information exchanges in multi-agent systems. The papers contained in this volume illustrate various approaches of dealing with interpretation and profilation of information in multi-agent systems.

The program commitee for LCMAS 2003 consisted of David Basin (Zurich), Johan van Benthem (Amsterdam), Frank de Boer (CWI Amsterdam, Utrecht), Marco Colombetti (Milan), Tim Finin (Baltimore), Yannis Labrou (Fujitsu Labs of America), Marek Sergot (Imperial College London) and Paul Syverson (Naval Research Lab). Additional reviewing was carried out by the organisers. At the workshop two invited talks were welcomed: one by Pierre-Yves Schobbens (Namur) entitled Alternating-time logic with imperfect recall, and one by Alexandru Baltag (Oxford) entitled Epistemic Program Constructs: learning, updating, responding, intercepting. Many thanks to all who have contributed to and participated in LCMAS 2003. The financial support of the ICALP 2003 organisation and of Technische Universiteit Eindhoven is gratefully acknowledged.

December 2003, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink and Mike Wooldridge (workshop organizers)

D D

© Copyright 2004, Elsevier Science, All rights reserved.