*************************************************************************** CALL FOR PAPERS Workshop on Logic and Intelligent Interaction Hamburg, August 11 - 15, 2008 URL: http://ai.stanford.edu/~epacuit/LaII Organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/) *************************************************************************** Workshop Purpose *************************************************************************** There is a fast-growing interest in logics that deal with intelligent interaction in communities of agents. There is also a fast-growing jungle of formal systems. The workshop is dedicated to promising recent convergences, trying to foster a common sense of what is going on. The sessions will address five core themes in rational agency: 1. Dynamic and temporal logic of rational agency: Connections between temporal frameworks (interpreted systems, epistemic temporal logic) and dynamic epistemic logics 2. Merging belief revision and information update: Connections between AGM-style belief revision theory, dynamics logics of information and learning theory. 3. Dynamics logics of preference change and aggregation: Connections between preference logic, dynamic deontic logic and multi-agent preference merge. 4. Logics of games and strategies: Connections between modal approaches to games and strategies, and proof/category-theoretic approaches 5. Logics of collective attitudes and social action: Connections between dynamic logics, judgement aggregation, and social choice, around themes such as collective agency and deliberation. This workshop follow follow up many themes discussed in the Dynamics in Logic Workshop organized by Thomas Agotnes and Hans van Ditmarsch during Week 1 of ESSLLI. The workshop aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject areas represented at ESSLLI. *************************************************************************** Workshop Topics *************************************************************************** Researchers from various fields including logic, game theory, artificial intelligence, philosophy, linguistics, and cognitive science are invited to submit a paper describing original or recently published work. Topics of interest include, but are not limited to: -Epistemic Logic -Dynamics Epistemic Logic -Logic and Games -Logic and Social Choice Thoery -Judgement Aggregation -Logic for Multiagent Systems -Game Logics -Epistemic Foundations of Game Theory -Preference Logics -Dynamics Preferences -(Dynamic) Deontic Logic -Logics of Games and Strategies -Learning Theory -Belief Revision -Epistemic Temporal Logic -Logics for Collective Decision Making -Social Software *************************************************************************** Important Dates *************************************************************************** Submission Deadline: March 27, 2008 Notification: April 27, 2008 Preliminary programme: May 1, 2008 ESSLLI early registration: May 1, 2008 Final papers for proceedings: May 17, 2008 Final programme: June 21, 2008 Workshop dates: August 11 - 15, 2008 *************************************************************************** Submission Details *************************************************************************** Authors are invited to submit a full paper not exceeding 15 pages. The following formats are accepted: PDF, PS, or ASCII text. Paper submission will be electronc via the workshop website by the deadline listed above. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. *************************************************************************** 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-3 slots for paper presentation and discussion per session. On the first day the workshop organizer will give an introduction to the main themes of the workshop. *************************************************************************** Invited Speakers *************************************************************************** TBD *************************************************************************** Workshop Organizers *************************************************************************** Johan van Benthem (johan@science.uva.nl) Eric Pacuit (epaucit@stanford.edu) *************************************************************************** Programme Committee *************************************************************************** Alexandru Baltag (Oxford University) Dietmar Berwanger (Aachen University) Giacomo Bonanno (University of California, Davis) Valentin Goranko (University of Witwatersrand) Yossi Feinberg (Stanford University) Wiebe van der Hoek (University of Liverpool) John Horty (University of Maryland) Rohit Parikh (Brooklyn College and The Graduate Center of CUNY) *************************************************************************** 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. There will be no reimbursement for travel costs and accommodation. *************************************************************************** Further Information *************************************************************************** About the workshop: http://ai.stanford.edu/~epacuit/LaII About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/