CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CALL FOR PAPERS: Logics, Agents and Mobility, 25-26 June 2012, GERMANY

LAM'12 (Logics, Agents, and Mobility), Hamburg (Germany)

Call for Papers

*** 1st CALL FOR PAPERS ***

5th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM€™12),
25 or 26 June 2012, Hamburg, Germany,

organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and 

Berndt "Bertie" MÌller (Farwer), University of Glamorgan Michael Köhler-Bussmeier, University of 

Workshop Homepage:

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

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 to 
establish itself as a serious contender amongst 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 challenges for the modelling and programming of large-scale, open 
and highly-dynamic distributed systems.

Logics and type systems with temporal or other kinds of modalities (e.g., relating to location, 
resource and/or security-awareness) play a central role in the semantic characterisation and 
verification of mobile agent systems. Recently, logics have handling some of these aspects have 
been introduced, but many open problems and research questions remain to be answered. The workshop
is intended to showcase results and current work in the areas outlined above with a focus on 
logics and other formalisms assisting the specification, implementation, and verification of 
dynamic, mobile systems.

* Scope 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
- location-based computation and planning (mobile apps, games, etc.)
- 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
LAM'10: 15 July 2010 at LICS in Edinburgh, Scotland, UK
LAM'11: 10 September 2011 at CONCUR in Aachen, Germany

* Format of the Workshop *

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. The latter will give the participants a chance to discuss informally research 
directions, open problems, and possible co-operations.

* Invited Speakers *
[To be announced.]

* 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€™12 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article or 
LNCSS class. The following formats are accepted: PDF, PS.

Please send your submission electronically via EasyChair:

The submissions will be reviewed by the workshop's program 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.

*Important Dates *

Submission Deadline: 20 March 2012
Notification of acceptance/rejection: 1 May 2012 
Final version of papers due: 1 June 2012
Workshop: 25/26 June 2012