Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...
012345

Notice

AISB event Bulletin Item

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

http://www.dur.ac.uk/lam.10

3rd Call for Papers

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

http://www.dur.ac.uk/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

***************************************************************
NEWS: 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 (http://www.easychair.org/conferences/?conf=lam09)
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: 9 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: http://www.dur.ac.uk/lam.10
About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/