LCMAS 2005

third international workshop on

Logic and Communication in Multi-Agent Systems

Edinburgh, 1st of August, 2005

a workshop of

IJCAI 2005
19th International Joint Conference
on Artificial Intelligence
    [IJCAI 2005]

sponsored by

AgentLink III
      the European Co-ordination Action
for Agent Based Computing

[themes] | [programme] [format/fees] | [proceedings] [dates] [committee]

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 19th 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:







      Gemma Bel Enguix and M. Dolores Jimenez Lopez  
      Computing Dialogues with Membranes  
      Alexandru Baltag and Mehrnoosh Sadrzadeh  
      The Algebra of Multi-Agent Dynamic Belief Revision  
      Laura Giordano, Alberto Martelli and Camilla Schwind  
      Specialization of Interaction Protocols in a Temporal Action Logic  
      Matthias Nickles and Gerhard Weiss  
      A Framework for the Representation of Opinions and Ostensible Intentions  
      Andreas Herzig, Nicolas Troquard and Jan Broersen  
      From CL to STIT  
      Benoit Gaudou, Andreas Herzig and Dominique Longin  
      A logical framework for grounding-based dialogue analysis  


The workshop will be held on the 1st of August, William Robertson Building G03, University of Edinburgh, 50 George Square, Edinburgh EH8 9JX from 9.25 to 17.05 hours. See here for the time schedule.
Participation is also open for non-IJCAI participants. Howerver, an attendance fee will be levied.


The proceedings of the workshop will be published by IJCAI and made available to all workshop participants. Papers from the 2003 and 2004 editions of the workshop were published as volumes 85, issue 2 and volume 126 of the ENTCS series . Post-proceedings of this year's edition will also appear 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.



  • 30 March, 2005: Submission deadline
  • 30 April, 2005: Notification of acceptance
  • 30 May, 2005: Final version due (extended date)
  • 1 August, 2005: Workshop


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

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


Last updated July 7th, 2005