CALL FOR PAPERS Logics for Resource-Bounded Agents 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.