Please note that the by popular demand the submission deadline has been extended to 18 April 2010.

---

Final Call for Papers

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

http://www.dur.ac.uk/lam.10

15 July 2010, Edinburgh, Scotland, UK

organised as satellite workshop at the 
Twenty-Fifth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK

***************************************************************
NEWS: 
Deadline extended until 18 April
Invited Speakers: Frank Pfenning, David Pym
***************************************************************

Workshop Purpose:

The aim of this series of workshops is to bring together active researchers in
the areas of logics and other formal frameworks that can be used to describe
and analyse dynamic or mobile systems. The main focus is on the field of
logics and calculi for mobile agents, and multi-agent systems.

Many notions used in the theory of agents are derived from philosophy, logics,
and linguistics (belief, desire, intention, speech act, etc.), and
interdisciplinary discourse has proved fruitful for the advance of this
domain. The workshop intends to encourage discussion and work across the
boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent programming
is beginning established itself as a serious contender against more
traditional programming paradigms. For example, the deployment of large-scale
pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs,
etc.) raises a number of scientific and technological challenges for the
modelling and programming of such large-scale, open and highly-dynamic
distributed systems. The agent and multi-agent systems approach seems
particularly adapted to tackle this challenge, but there are many issues
remaining to be investigated. For instance, the agents must be location-aware
since the actual services available to them may depend on their (physical or
virtual) location. The quality and quantity of resources at their disposal is
also largely fluctuant, and the agents must be able to adapt to such highly
dynamic environments. Moreover, mobility itself raises a large number of
difficult issues related to safety and security, which require the ability to
reason about the software (e.g. for analysis or verification).

Logics and type systems with temporal or other kinds of modalities (relating
to location, resource and/or security-awareness) play a central role in the
semantic characterisation and verification of mobile agent systems. In the
past two or three years, some logics have been proposed that would be able to
handle certain aspects of these requirements, but there are still many open
problems and research questions in the theory of such systems. The workshop is
intended to showcase results and current work being undertaken in the areas
outlined above with a focus on logics and other formalisms for the
specification and verification of dynamic, mobile systems.


Scopes of Interest:

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking 
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.


Previous Workshops:

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany 
LAM'09: 10 August 2009 at LICS in Los Angeles, USA


Format of the Workshop:

The workshop will be held as a one day event after LICS. There will 
be a short introduction and brief survey of the field by the 
organiser as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a 
discussion session. The latter is will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.


Submission details:

Authors are invited to submit a full paper of original work in the 
areas mentioned above. The workshop chair should be informed of 
closely related work submitted to a conference or journal in advance 
of submission. One author of each accepted paper will be expected to 
present it at the LAM’10 workshop. Submissions should not exceed 15 
pages, preferably using the LaTeX article class. The following formats 
are accepted: PDF, PS. 

Please send your submission electronically via
EasyChair (http://www.easychair.org/conferences/?conf=lam09)
by the deadline listed below. The submissions will be reviewed by 
the workshop's programme committee and additional reviewers. 
Accepted papers will appear in electronic proceedings and authors 
will be encouraged to re-submit papers to formal proceedings to 
be published as a separate publication, e.g. as a special journal issue.


Invited Speakers:

Frank Pfenning (Carnegie Mellon University)
David Pym (University of Bath and HP)


Important Dates:

Submission Deadline: 18 April 2010
Notification: 1 May 2010
Workshop: 15 July 2010


Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jürgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Köhler-Bußmeier, Hamburg, Germany
João Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Wamberto Vasconcelos, Aberdeen, UK


Further Information:

About the workshop: http://www.dur.ac.uk/lam.10
About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/