[agents] 2nd CfP Logics for Agents and Mobility (LAM'08)

[Berndt Farwer]

******************************************************
2nd CALL FOR PAPERS
Workshop on Logics for Agents and Mobility (LAM'08)
http://www.dur.ac.uk/berndt.farwer/lam08
4-8 August 2008
******************************************************

organised as part of the European Summer School on Logic, Language and  
Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/), 4 - 15  
August, 2008 in Hamburg, Germany


Workshop Organisers:
Berndt Farwer (berndt.farwer at durham.ac.uk)
Michael Köhler-Bußmeier (koehler at informatik.uni-hamburg.de)

Workshop Purpose:
Our aim is to bring together active researchers and PhD students in  
the area of logics and mobile systems, especially in the field of  
agents and multi-agent systems. Many notions used in the theory of  
agents are derived from philosophy and linguistics (belief, desire,  
intention, speech act, etc.), and interdisciplinary discourse has  
proved fruitful for the advance of this domain. On the other hand, the  
deployment of large-scale pervasive infrastructures (mobile ad-hoc  
networks, mobile devices, RFIDs, etc.) is becoming a reality. This  
raises a number of scientific and technological challenges for the  
software modelling and programming models for 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). The 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  
then verification of properties about mobile agent systems. 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 these areas.

Workshop Topics:
- logics for specification and reasoning about agents, MAS, and mobile  
systems in a broader sense
- the aspects of location and resource in logics
- security in ad-hoc networks
- temporal logics and model checking
- type systems and static analysis
- logic programming.

Submission details:
Authors are invited to submit a full paper of original work in the  
areas mentioned above. Submissions should not exceed 15 pages,  
preferably using the LaTeX article class and A4 paper. The following  
formats are accepted: PDF, PS. Please send your submission  
electronically to lam08 at mac.com by the deadline listed below. The  
submissions will be reviewed by the workshop's programme committee and  
additional reviewers. The accepted papers will appear in the workshop  
proceedings published by ESSLLI.

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 in the first week of ESSLLI. There will be 2 to 3 slots for paper  
presentation and discussion per session. On the first day the workshop  
organisers will give an introduction to the topic to familiarise the  
audience with the topic.

Invited Speakers:
Didier Galmiche (Université Henri Poincaré - Nancy 1, France)
Alessio Lomuscio  (Imperial College London, UK)



Programme Committee:
Berndt Farwer (chair), Durham, UK
Michael Köhler (local chair), Hamburg, Germany
Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Rafael Bordini, Durham, UK
Louise Dennis, Liverpool, UK
Marina De Vos, Bath, UK
Michael Fisher, Liverpool, UK
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Koen Hindriks, Delft, Netherlands
Wojtek Jamroga, Clausthal, Germany
João Leite, Lisbon, Portugal
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Wamberto Vasconcelos, Aberdeen, UK



Important Dates:
Submission Deadline: 8 March 2008
Notification: 21 April 2008
Preliminary programme: 24 April 2008
ESSLLI early registration: 1 May 2008
Final papers for proceedings: 17 May 2008
Final programme: 21 June 2008
Workshop dates: 4-8 August 2008


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. There will be no reimbursement for travel costs and  
accommodation.


Further Information:
About the workshop: http://www.dur.ac.uk/berndt.farwer/lam08
About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/