Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


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


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems


                 Submission deadline: June 1, 2007

                   Springer LNAI Post-Proceedings

LADS'007 - First Workshop on Languages, methodologies and Development
                    tools for multi-agent Systems


Part of MALLOW'007, a federation of workshops on Multi-Agent Logics,
                    Languages, and Organisations

                        September 3-7, 2007

                       Durham, United Kingdom


Aim and Scope:

This workshop is dedicated to formal approaches, programming
languages, tools and techniques that support the development of
multi-agent systems. LADS'007 aims to address both theoretical and
practical issues related to developing and deploying multi-agent
systems and promotes the discussion and exchange of ideas concerning
concepts, methodologies, techniques and principles that are
important for multi-agent programming technology, and application in
areas such as the electronic institutions, semantic web, web
services, security, grid computing, ambient intelligence, pervasive
computing, and electronic contracting.

This workshop welcomes submissions of original papers concerning all
aspects of multi-agent development and deployment. Topics include
but are not limited to:

- Programming languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Semantics for multi-agent programming languages
- Implementation of social and organisational aspects of MAS
- Modal and epistemic logics for agent modelling
- Model checking agents and multi-agent systems
- Algorithms for multi-agent issues (e.g., coordination, cooperation,
  negotiation, distributed constraint satisfaction)
- Declarative approaches to engineering agent systems
- Declarative models of agent beliefs and capabilities
- Declarative models of bounded rationality
- Declarative paradigms for the combination of heterogeneous agents
- Specification and verification logics
- Logic programming approaches to agent systems
- Methodologies for MAS analysis and design
- Agent-oriented requirements analysis and specification
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- High-level executable multi-agent specification languages
- Agent communication in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming of mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Experimental analysis of declarative agent technologies
- Industrial experiences with (declarative) agent technologies
- Service-oriented multiagent systems
- Protocol specification and conformance checking
- Declarative description of contracts and negotiation policies
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools
- Test and debugging tools and techniques for MAS
- Electronic institutions

Paper Submission and Publication:

Papers should be written in English, formatted according to the
Springer LNCS style, and they should not exceed sixteen (16) pages
including title page, figures, references, etc. Print and electronic
post-proceedings of selected and revised LADS'007 papers will be
published by Springer in the Lecture Notes in Artificial
Intelligence series.

Important dates:

- Submission: 1 June 2007
- Notification: 6 July 2007
- Camera-ready: 20 July 2007
- Workshop: 4-6 September 2007

Organising Committee:

- Mehdi Dastani
- Amal El Fallah Seghrouchni
- Joo Leite
- Paolo Torroni

All enquiries should be sent to