Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3-14 August 2015, ESSLLI-2015 Workshop "Logics for Resource-Bounded Agents", Barcelona, Spain

Date: 3-14 August 2015
Location: Barcelona, Spain
Deadline: 15 February 2015

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.

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.

For more information, see http://www.cs.nott.ac.uk/~nza/lrba15/

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. Submissions due: February 15, 2015

Please note that this newsitem has been archived, and may contain outdated information or links.