[FOM] LCMAS@ESSLLI Final CFP

[Martin Davis]

Final Call for Papers
LCMAS04
An ESSLLI04 Workshop on
Logic and Communication in Multi-Agent Systems
http://www.win.tue.nl/%7Eevink/lcmas04.html
NEW: PUBLICATION DETAILS - SEE BELOW
The workshop, this year in its second edition, 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.

WORKSHOP SPECIFIC THEMES
Particular focus of attention will be given to papers relating to the
following specific themes:
* 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.
* Communication protocols: Semantics for communications processes in
multi-agent systems. Formal dependencies between communication
protocols and intensional (e.g., epistemic) properties of the
agents. Using CSP and CCP for agent-communication.
* Security and authorisation: Logics (deontic logic, BAN 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 that are general and
complete, or languages that are strong enough to prove that certain
occasions (intruders entering the network, unwanted eavesdropping)
do not occur.
* 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 and
belief revision & epistemic updates.

INVITED SPEAKERS
Prof. Dr. Holger Schlingloff (Berlin), and Dr Ahti-Veikko Pietarinen
(Helsinki) have very kindly agreed to give invited presentation at
LCMAS04. The abstracts of the talks will be made available in due
course.


WORKSHOP ORGANISERS
Wiebe van der Hoek, University of Liverpool
Alessio Lomuscio, King's College London
Erik de Vink, Technische Universiteit Eindhoven
Mike Wooldridge, University of Liverpool

PROGRAM COMMITTEE
Johan van Benthem (University of Amsterdam), Frank de Boer (CWI
Amsterdam, Utrecht), Iliano Cervesato (US Naval Research Labs), Marco
Colombetti (Politecnico di Milano), Rogier van Eijk (University of
Utrecht), Andrew Jones (King's College London), Yannis Labrou (Fujitsu
Labs of America), Riccardo Pucella (Cornell University), Pierre-Yves
Schobbens (University of Namur), Marek Sergot (Imperial College), Luca
Vigano' (ETH Zurich)

PUBLICATION DETAILS
The proceedings of LCMAS03 held in June 2003 in Eindhoven were
published in the Electronic Lecture Notes in Theoretical Computer
Science. Pending satisfaction with the overall quality, authors of
accepted papers will have the opportunity to revise their articles for
publication in late 2004 in a special issue of the Electronic Lecture
Notes in Theoretical Computer Science published by Elsevier. Informal
proceedings will be made available at the workshop.

SUBMISSIONS AND TIMETABLE
Those wishing to participate in the workshop are invited to submit an
original research paper of up to 15 pages in plain article style. The
first page of your submission should include the full name and contact
details of at least one author. Electronic submission in Postscript
or PDF is strongly encouraged. Submissions should be sent to Erik de
Vink, e-mail evink at win.tue.nl.
15 March, 2004: Submission deadline
19 April, 2004: Notification of acceptance
15 May, 2004: Final version due.
16-20 Aug, 2004: Workshop.

WORKSHOP FORMAT
The workshop is part of ESSLLI and is open to all ESSLLI
participants. It will consist of five 90-minute sessions held over
five consecutive days between 16 Aug and 20 Aug.
LOCAL ARRANGEMENTS
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a
paper will correspond to the early student/workshop speaker
registration fee. A number of additional fee waiver grants will be
made available by the Organisation Committee of ESSLLI on a
competitive basis and workshop participants are eligible to apply for
those.
FURTHER INFORMATION
About ESSLLI-2004: http://esslli2004.loria.fr/
About the workshop: http://www.win.tue.nl/%7Eevink/lcmas04.html



                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com