10-14 Aug 2015
Barcelona, Spain
SECOND 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.