Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

31 July or 1 August 1 2005, LCMAS 2005 3rd International Workshop on Logic and communication in MultiAgent Systems

Date: 31 July or 1 August 1 2005
Deadline: 1 August 2005

The third edition of the LCMAS workshop series 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 arising in the use of formalisms epistemic, temporal, dynamic and authentication logics, and related techniques) inspired by the needs of modelling information exchanges in multi-agent systems. The workshop will be held as a satellite workshop of IJCAI05, the 19-th edition of the biannual international joint conference on Artificial Intelligence. Previous editions of the workshop were held in Eindhoven in 2003 (as satellite workshop of ICALP), and in Nancy in 2004 (as satellite workshop of ESSLLI). Papers from the workshops were published in both occasions in the ENTCS series.


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

  • Communication protocols: Semantics for communications processes in multi-agent systems. Formal dependencies between communication protocols and intensional (e.g., epistemic) properties of the agents. Use of process languages for modelling communication in MAS.
  • Security, authorisation, and trust: Logics (BAN logic, deontic 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, and languages for their description. Logics for modelling policies and trust in MAS and related issues.
  • 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, belief revision and epistemic updates.
  • Verification of communication protocols: theorem proving and model checking in all its variants as well as AI-based techniques. Case studies, tailoring of general tools and specific tools related to MAS.
  • 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.


The workshop will be held either on the 30th of July or on the 1st of August (date to be confirmed). No IJCAI conference fees will be required to participate to the workshop, but a small attendance fee will be levied. Details of this will be posted as they become available.


The proceedings of the workshop will be published by IJCAI and made available to all workshop participants. Papers from the previous editions of the workshop were published in volumes of the ENTCS series. Proceedings of this year's edition will also be published as a volume of the ENTCS. Moreover consideration will be given for a further special issue for extended versions of a selected number of contributions in an international journal.


  • Submission deadline: 30 March.
  • Notification of acceptance: 30 April.
  • Final versions due: 20 May.


Authors are invited to send original papers in ps or pdf format by 30 March 2005 by email to evink <at> win.tue.nl. The paper should not exceed 15 pages, preferably formatted in plain LaTeX article style, or alternative similar formats.


Wiebe van der Hoek (University of Liverpool)
Alessio Lomuscio (University College London)
Erik de Vink (University of Eindhoven)
Mike Wooldridge (University of Liverpool)


Johan van Benthem (University of Amsterdam)
Marco Colombetti (Politecnico di Milano)
Juergen Dix (University of Clausthal)
Rogier van Eijk (Utrecht University)
Andrew Jones (King's College London)
Dusko Pavlovic (Kestrel Institute)
Wojciech Penczek (Warsaw University)
Riccardo Pucella (Cornell University)
Pierre-Yves Schobbens (University of Namur)
Holger Schlingloff (Bremen Institute for Secure Systems}
Marek Sergot (Imperial College)
Luca Vigano' (ETH Zurich)

For more information, see http://www.win.tue.nl/~evink/lcmas05.html

Please note that this newsitem has been archived, and may contain outdated information or links.