Logic List Mailing Archive

Workshop "Logic and Intelligent Interaction"

11-15 August 2008
Hamburg, Germany

***************************************************************************

                             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 8, 2008
Notification: April 21, 2008
Preliminary programme: April 24, 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/