Please note that this newsitem has been archived, and may contain outdated information or links.
9-10 August 2009, LAM 09: Logics for Agents and Mobility, Los Angeles CA, U.S.A.
Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, 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. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.
The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general 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 meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.
Further Information:
About the workshop: http://www.dur.ac.uk/lam.09.
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline: 1 May 2009.
Please note that this newsitem has been archived, and may contain outdated information or links.