25-26 June 2012, 5th International Workshop on Logics, Agents and Mobility (LAM 2012), Hamburg, Germany

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, but contributions in the area of modelling and implemantation of location-based, or resource-based applications are equally welcome.

LAM'12 is organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and Concurrency. The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion.

For more information, see http://lam12.wordpress.com/