[agents] Workshop on Logics and Agent Programming Languages ...

[Brian Logan]

Final Call for Papers

WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES

July 27-31 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) July 20-31 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 paper describing original or recently  
published work. 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 at cs.nott.ac.uk

IMPORTANT DATES

March 4 2009 (Extended) 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

Giuseppe De Giacomo Sapienza Universita' di Roma, Italy


PROGRAMME COMMITTEE

Thomas Agotnes Bergen University College, Norway
Rafael Bordini University of Durham, UK
Mehdi Dastani Universiteit Utrecht, Netherlands
Jürgen 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é Paul Sabatier, France
Koen Hindriks Delft University of Technology, Netherlands
Gerhard Lakemeyer Aachen University of Technology, Germany
Yves Lespérance 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



This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.