16-20 August 2004, LCMAS04, Nancy, France

LCMAS04

An ESSLLI04 Workshop on Logic and Communication in Multi-Agent Systems

http://www.win.tue.nl/%7Eevink/lcmas04.html

The workshop, this year in its second edition, 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.

WORKSHOP SPECIFIC THEMES

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

• Dynamics of epistemic positions: Combinations of epistemic logic and temporal logic (and related semantical issues) resulting from communicative acts, such as message passing, broadcasting, etc. Modelling of epistemic updates, and refinements following communicative acts.
• Communication protocols: Semantics for communications processes in multi-agent systems. Formal dependencies between communication protocols and intensional (e.g., epistemic) properties of the agents. Using CSP and CCP for agent-communication.
• Security and authorisation: Logics (deontic logic, BAN logic, etc.) for security and authorisation, where the assumption that the other agents in the network are cooperative, or at least not hostile, is dropped. Semantics for authorisation logics that are general and complete, or languages that are strong enough to prove that certain occasions (intruders entering the network, unwanted eavesdropping) do not occur.
• Semantics of speech acts: Logical semantics of speech acts and institutional communication. Semantics of agent communication languages and their relationship to speech acts. Logics for planning speech acts. Relationships between speech act theory and belief revision & epistemic updates.

INVITED SPEAKERS

Prof. Dr. Holger Schlingloff (Berlin), and Dr Ahti-Veikko Pietarinen (Helsinki) have very kindly agreed to give invited presentation at LCMAS04. The abstracts of the talks will be made available in due course.

WORKSHOP ORGANISERS

Wiebe van der Hoek, University of Liverpool Alessio Lomuscio, King's College London Erik de Vink, Technische Universiteit Eindhoven Mike Wooldridge, University of Liverpool

PROGRAM COMMITTEE

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

PUBLICATION DETAILS

The proceedings of LCMAS03 held in June 2003 in Eindhoven were published in the Electronic Lecture Notes in Theoretical Computer Science. Pending satisfaction with the overall quality, authors of accepted papers will have the opportunity to revise their articles for publication in late 2004 in a special issue of the Electronic Lecture Notes in Theoretical Computer Science published by Elsevier. Informal proceedings will be made available at the workshop.

SUBMISSIONS AND TIMETABLE

Those wishing to participate in the workshop are invited to submit an original research paper of up to 15 pages in plain article style. The first page of your submission should include the full name and contact details of at least one author. Electronic submission in Postscript or PDF is strongly encouraged. Submissions should be sent to Erik de Vink, e-mail evink at win.tue.nl.

15 March, 2004: Submission deadline
19 April, 2004: Notification of acceptance
15 May, 2004: Final version due.
16-20 Aug, 2004: Workshop.

WORKSHOP FORMAT

The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days between 16 Aug and 20 Aug.

LOCAL ARRANGEMENTS

All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those.