Second CFP, ESSLLI 2015 Workshop on Logics for Resource-Bounded Agents

[Natasha Alechina]

                        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 at 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 at cs.nott.ac.uk

Brian Logan bsl at 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.





This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 

Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

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.