BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2015/newsitem/6050/3-1 4-August-2015-ESSLLI-2015-Workshop-Logics-for-Reso urce-Bounded-Agents-Barcelona-Spain DTSTAMP:20141120T000000 SUMMARY:ESSLLI-2015 Workshop "Logics for Resource- Bounded Agents", Barcelona, Spain DTSTART;VALUE=DATE:20150803 DTEND;VALUE=DATE:20150814 LOCATION:Barcelona, Spain DESCRIPTION:Research in resource-bounded agency co ntributes both to reasoning about actions in philo sophy and artificial intelligence, and to applicat ions of logic in computer science, such as the pra ctical verification of resource-bounded multi-agen t systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established rese archers and advanced PhD students to present and d iscuss their work with colleagues working in relat ed areas (particularly those represented at ESSLLI ). In addition to logics of strategic ability wher e actions produce and consume resources, we solici t contributions from researchers working in episte mic logic, game theory, linear logic etc. on alter native approaches to modelling resource-bounded ag ency. The workshop is part of ESSLLI and is ope n to all ESSLLI participants. It will consist of f ive 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 organiz ers will give an introduction to the topic. For more information, see http://www.cs.nott.ac.uk/~n za/lrba15/ We invite submissions of extended abs tracts describing the topic of a 30 or 45 minute t alk at the workshop. This talk may present origina l work or may be based on recently published work in the area of the workshop. Submissions due: Febr uary 15, 2015 X-ALT-DESC;FMTTYPE=text/html:
\n

\n Research in resource-bounded agency contribut es both to reasoning\n about actions in phi losophy and artificial intelligence, and to\n applications of logic in computer science, such as the practical\n verification of resourc e-bounded multi-agent systems. The Logics for\n Resource-Bounded Agents workshop will provide a forum for established\n researchers and advanced PhD students to present and discuss their \n work with colleagues working in related areas (particularly those\n represented at ESSLLI). In addition to logics of strategic abilit y\n where actions produce and consume resou rces, we solicit contributions\n from resea rchers working in epistemic logic, game theory, li near logic\n etc. on alternative approaches to modelling resource-bounded agency.\n

\n

\n The workshop is part of ESSLL I and is open to all ESSLLI participants.\n It will consist of five 90-minute sessions held o ver five consecutive\n days in the second w eek of ESSLLI.\n There will be 2 or 3 slot s for\n paper presentation and discussion p er session. On the first day the\n workshop organizers will give an introduction to the topic .\n

\n \n \n

\n Fo r more information, see\n htt p://www.cs.nott.ac.uk/~nza/lrba15/\n

\n
\n

\n We invite su bmissions of extended abstracts describing the top ic of a\n 30 or 45 minute talk at the works hop. This talk may present original\n work or may be based on recently published work in the area of the\n workshop.\n Submission s due: February 15, 2015\n

\n
URL:/NewsandEvents/Archives/2015/newsitem/6050/3-1 4-August-2015-ESSLLI-2015-Workshop-Logics-for-Reso urce-Bounded-Agents-Barcelona-Spain END:VEVENT END:VCALENDAR