LAPL 2009

source: https://mail.in.tu-clausthal.de/Lists/event/Message/965.html?Language=english

WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES
July 20th-25th 2009 http://www.agents.cs.nott.ac.uk/events/lapl09

to be held as part of ESSLLI 2009 (21st European Summer School in Logic, Language and Information, Bordeaux, France) between the 20th and 31st of July 2009 http://esslli2009.labri.fr/

WORKSHOP DESCRIPTION
To create a language for programming entities capable of intelligent behaviour (`agents'), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent `think' (e.g., which deliberation strategy should it employ -- should it plan a precise sequence of actions in advance or should it adopt an abstract plans with gaps `to be filled-in later'); what relationship should there be between the agent's beliefs and its goals, etc. In seeking to address these questions, researchers have drawn heavily on formal models of agents and on agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development of agent programming languages such as AgentSpeak were heavily influenced by the BDI (Beliefs, Desires and Intentions) logics developed to understand what an agent's behaviour should be. These interactions have resulted in an extremely fruitful cross fertilisation between work in logic and computation, and the application of logical techniques to address key practical issues such as the verification of agent programs (i.e., will an agent program meet the specification set out by its developers).

The development of agent programming languages continues to go hand in hand with the development of logics to express properties of agent programs and associated verification techniques, with work on various aspects of agent programming, agent logics and verification. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

Topics of interest include (but are not limited to):


 * agent programming languages
 * agent logics
 * verification of agent programs

PUBLICATION
Accepted papers will appear in pre-proceedings published by ESSLLI. We aim to publish a selection of revised and expanded papers as a journal special issue.

SUBMISSIONS
Authors are invited to submit a full original paper. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lapl09

All enquiries to lapl09@cs.nott.ac.uk

IMPORTANT DATES
February 15 2009 Deadline for submissions April 15 2009 Notification of acceptance June 1 2009 Deadline for proceedings

ORGANISERS
Natasha Alechina University of Nottingham, UK Brian Logan University of Nottingham, UK

INVITED SPEAKER (TBC)

PROGRAMME COMMITTEE
Thomas Agotnes Bergen University College, Norway Rafael Bordini University of Durham, UK Mehdi Dastani Universiteit Utrecht, Netherlands Juergen Dix Technische Universitaet Clausthal, Germany Amal El Fallah Seghrouchni, University Paris VI, France Michael Fisher University of Liverpool, UK Giuseppe De Giacomo Sapienza Universita' di Roma, Italy Andreas Herzig IRIT, Universit=E9 Paul Sabatier, France Koen Hindriks Delft University of Technology, Netherlands Gerhard Lakemeyer Aachen University of Technology, Germany Yves Lesperance York University, Canada Hector Levesque, University of Toronto, Canada John-Jules Ch. Meyer Universiteit Utrecht, Netherlands Steven Shapiro University of Toronto, Canada Neil Yorke-Smith, AIC, SRI International, USA