[UAI] [agents] LCMAS @ IJCAI05 -----------------------------------------------------------------

    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  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)

 --
See  for list info & archives.


