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.
 

WORKSHOP SPECIFIC THEMES
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.

INVITED TALKS

Julian Bradfield     Independence-Friendly Modal and Temporal Logics

Carsten Lutz     The Complexity of Public Announcement Logic