LCMAS 2004
second international workshop on
Logic and Communication in Multi-Agent Systems
Nancy, France 16-20 August, 2004
a workshop of
ESSLLI 2004
The 16th European Summer School in Logic, Language and Information |
The second edition of the LCMAS-workshop 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.
Particular focus of attention will be given to papers relating to the following specific themes:
Monday August 16th | |
17.00 - 17.50 |
Ahti-Veikko Pietarinen (invited talk) Epistemic Logics of Imperfect Information for Multi-Agent Communication |
18.00 - 18.30 |
Guillaume Muller & Laurent Vercouter Liar Detection within Agent Communications |
Tuesday August 17th | |
17.00 - 17.40 |
Bozena Wozna, Alessio Lomuscio & Wojciech Penczek
Bounded Model Checking for Deontic Interpreted Systems |
17.50 - 18.30 |
Sieuwert van Otterloo & Geert Jonker
On Epistemic Temporal Strategic Logic |
Wednesday August 18th | |
17.00 - 17.50 |
Holger Schlingloff (invited talk)
Modelling and model checking web services |
18.00 - 18.30 |
Maxime Morge
A Dialogue-Game Protocol for Agent Resolving Conflicts by Verbal Means |
Thursday August 19th | |
17.00 - 17.40 |
Alexandru Baltag, Bob Coecke & Merhnoosh Sadrzadeh
An Algebra and Sequent Calculus for Epistemic Actions |
17.50 - 18.30 |
Arjen Hommersom, John-Jules Meyer & Erik de Vink
A Semantic Approach for Reasoning about Security Protocols |
Friday August 20th | |
17.00 - 17.40 |
Shahima Paurobally, Jim Cunningham & Nicholas Jennings
Verifying the Contract Net Protocol: A Case-Study in Interaction Protocol and Agents Communication Language Semantics |
17.50 - 18.30 |
Mark Whitsey
Modelling Resource Bounded Reasoners: An Example |
The proceedings of the first LCMAS workshop held in June 2003 in Eindhoven are published as volume 85, issue 2 of the Electronic Notes in Theoretical Computer Science series in 2004. This year's informal proceedings will be published by ESSLLI with selected papers appearing as volume 126 in the ENTCS.
ORGANIZERS | |
Wiebe van der Hoek (Liverpool) | |
Alessio Lomuscio (King's College London) | |
Erik de Vink (Eindhoven) | |
Mike Wooldridge (Liverpool) |
PROGRAM COMMITTEE | |
Johan van Benthem (University of Amsterdam) | Yannis Labrou (Fujitsu Labs of America) |
Frank de Boer (CWI Amsterdam, Utrecht) | Riccardo Pucella (Cornell University) |
Iliano Cervesato (ITT Industries) | Pierre-Yves Schobbens (University of Namur) |
Marco Colombetti (Politecnico di Milano) | Marek Sergot (Imperial College) |
Rogier van Eijk (University of Utrecht) | Luca Viganò (ETH Zurich) |
Andrew Jones (King's College London) |
Last updated March 3rd, 2005