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

Extended CFP: Workshop on Logics, Agents, and Mobility (LAM'10)

Please note that the by popular demand the submission deadline has been extended to 18 April 2010.


Final Call for Papers

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

15 July 2010, Edinburgh, Scotland, UK

organised as satellite workshop at the 
Twenty-Fifth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK

Deadline extended until 18 April
Invited Speakers: Frank Pfenning, David Pym

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.

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 established itself as a serious contender against 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 scientific and technological challenges for the
modelling and programming of 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).

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 verification of mobile agent systems. In the
past two or three years, some logics have been proposed that would be able to
handle certain aspects of these requirements, but 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 the areas
outlined above with a focus on logics and other formalisms for the
specification and verification of dynamic, mobile systems.

Scopes 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
- 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

Format of the Workshop:

The workshop will be held as a one day event after LICS. There will 
be a short 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 will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.

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

Please send your submission electronically via
EasyChair (
by the deadline listed below. The submissions will be reviewed by 
the workshop's programme 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.

Invited Speakers:

Frank Pfenning (Carnegie Mellon University)
David Pym (University of Bath and HP)

Important Dates:

Submission Deadline: 18 April 2010
Notification: 1 May 2010
Workshop: 15 July 2010

Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jrgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Khler-Bumeier, Hamburg, Germany
Joo Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Wamberto Vasconcelos, Aberdeen, UK

Further Information:

About the workshop:
About LICS: