[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------- Deadline Extended --------
********************************************************
Last CALL FOR PAPERS
Workshop on Logics for Agents and Mobility (LAM'08)
http://www.dur.ac.uk/berndt.farwer/lam08
4-8 August 2008
********************************************************
SUBMISSION DEADLINE: 27 MARCH 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 ([EMAIL PROTECTED])
Michael Köhler-Bußmeier ([EMAIL PROTECTED])
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 [EMAIL PROTECTED] 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: 27 March 2008
Notification: 27 April 2008
Preliminary programme: 1 May 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/
