Logic List Mailing Archive

3rd International Workshop on Logic and Communication in MultiAgent Systems (LCMAS; Edinburgh Jul/Aug 2005)

-----------------------------------------------------------------

    CALL FOR PAPERS

    LCMAS 2005
    3rd International Workshop on
    Logic and Communication in MultiAgent Systems
    satellite workshop of IJCAI 2005

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

-----------------------------------------------------------------

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.


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.


FORMAT/FEES

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.


PUBLICATION DETAILS

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.


IMPORTANT DATES

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


SUBMISSION DETAILS

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.


ORGANISERS

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

PROGRAM COMMITTEE

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)