3-14 Aug 2015
Barcelona, Spain
CALL FOR PAPERS
Logics for Resource-Bounded Agents
http://www.cs.nott.ac.uk/~nza/lrba15/
10-14 August 2015
organized as part of
the European Summer School on
Logic, Language and Information
ESSLLI 2015 http://esslli2015.org
3-14 August, 2015 in Barcelona
Research in resource-bounded agency contributes both to reasoning
about actions in philosophy and artificial intelligence, and to
applications of logic in computer science, such as the practical
verification of resource-bounded multi-agent systems. The Logics for
Resource-Bounded Agents workshop will provide a forum for established
researchers and advanced PhD students to present and discuss their
work with colleagues working in related areas (particularly those
represented at ESSLLI). In addition to logics of strategic ability
where actions produce and consume resources, we solicit contributions
from researchers working in epistemic logic, game theory, linear logic
etc. on alternative approaches to modelling resource-bounded agency.
Workshop Topics include but are not limited to:
- logics of strategic ability where actions require or produce resources,
- counting and metric temporal logics;
- linear logic;
- epistemic logics for non-omniscient reasoners and bounded-memory reasoners.
Submission Details:
We invite submissions of extended abstracts describing the topic of a
30 or 45 minute talk at the workshop. This talk may present original
work or may be based on recently published work in the area of the
workshop. Abstracts should not exceed 2 pages, and the following
formats are accepted: PDF, ASCII text. Please send your submission
electronically to nza@cs.nott.ac.uk by the deadline given below.
Submissions will be reviewed by the workshop???s programme committee and
additional reviewers. The abstracts will appear in the workshop
proceedings published by ESSLLI (informal publication).
Workshop Format:
The workshop is part of ESSLLI and is open to all ESSLLI participants.
It will consist of five 90-minute sessions held over five consecutive
days in the second week of ESSLLI. There will be 2 or 3 slots for
paper presentation and discussion per session. On the first day the
workshop organizers will give an introduction to the topic.
Workshop Programme Committee:
Thomas Agotnes (University of Bergen, Norway)
Natasha Alechina (University of Nottingham, UK)
Nils Bulling (TU Clausthal, Germany)
Dario Della Monica (University of Reykjavik, Iceland)
Stephane Demri (LSV, CNRS & ENS de Cachan, France)
Morgan Deters (New York University, US)
Michael Fisher (University of Liverpool, UK)
Valentin Goranko (Stockholm University, Sweden)
Francois Laroussinie (Paris Diderot University, France)
Brian Logan (University of Nottingham, UK)
Nicolas Markey (LSV, CNRS & ENS de Cachan, France)
Nicolas Troquard (ISTC-CNR, Italy)
Fernando Velazquez Quesada (University of Seville, Spain)
Important Dates:
Submissions due: February 15, 2015
Notification of acceptance: April 15, 2015
Final programme: June 1, 2015
Workshop dates: August 10-14, 2015
Workshop Organizers:
Natasha Alechina nza@cs.nott.ac.uk
Brian Logan bsl@cs.nott.ac.uk
Local Arrangements:
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a
paper will correspond to the early student/workshop speaker
registration fee. Moreover, a number of additional fee waiver grants
will be made available by the OC on a competitive basis and workshop
participants are eligible to apply for those. Unfortunately, we are
unable to reimburse travel costs and accommodation. Workshop speakers
who have difficulty in finding funding should contact the local
organizing committee to ask for the possibilities for a grant.