View source for LAPL 2009

{{Event
|Acronym=LAPL 2009
|Title=Workshop on Logics and Agent Programming Languages
|Type=Workshop
|Field=Artificial intelligence
|Superevent=ESSLLI 2009
|Start date=2009/07/20
|End date=2009/07/25
|Homepage=www.agents.cs.nott.ac.uk/events/lapl09/
|City=Bordeaux
|Country=France
|Submission deadline=2009/02/15
|Paper deadline=2009/02/15
|Notification=2009/04/15
|Camera ready=2009/06/01
}}
''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 === 
<pre>
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
</pre>
Acronym	LAPL 2009 +
Camera ready due	June 1, 2009 +
End date	July 25, 2009 +
Event type	Workshop +
Has coordinates	44° 50' 28", -0° 34' 48"Latitude: 44.841225 Longitude: -0.58003611111111 +
Has location city	Bordeaux +
Has location country	Category:France +
Homepage	http://www.agents.cs.nott.ac.uk/events/lapl09/ +
IsA	Event +
Notification	April 15, 2009 +
Paper deadline	February 15, 2009 +
Start date	July 20, 2009 +
Subevent of	ESSLLI 2009 +
Submission deadline	February 15, 2009 +
Title	Workshop on Logics and Agent Programming Languages +