26-30 Sep 2011
Kutaisi, Georgia
Call for Abstracts:
Workshop on Logic, Information, and Agency
Special Session, Part of :
the Ninth International Tbilisi Symposium on Language, Logic and Computation
Kutaisi, Georgia, September 26-30, 2011
http://www.illc.uva.nl/Tbilisi/Tbilisi2011/
We ask for submissions applying formal logical methods in a broad sense
(including non-classical and modal logics, epistemic game theory, algebraic
and categorical logic, probabilistic approaches etc) to reasoning about
information and agency. Topics of interest include:
* Modal Logics for Agency
* Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
* Logics for Information Updates (learning, belief revision, theory
change, conditioning etc.)
* Logical approaches to strategies, preferences and rationality in
Epistemic Game Theory
* Logics for reasoning about protocols, planning and intentions.
Invited Workshop Speakers:
Dietmar Berwanger, LSV Cachan
Jan van Eijck, CWI Amsterdam
Valentin Goranko (t.b.c.), Technical University of Denmark
Emiliano Lorini, Universit� Paul Sabatier Toulouse
Alessandra Palmigiano, University of Amsterdam
Call for Contributed Workshop Talks: Please submit your abstract (max. 2
pages) by 15 June 2011 via the conference' easychair system where you can
select the category "Special session on Logic, Information, and Agency":
http://www.easychair.org/conferences/?conf=tbillc2011
Registration: All participants registered via the main conference site can
attend the workshop, see:
http://www.illc.uva.nl/Tbilisi/Tbilisi2011/#/Registration/
Workshop Organizers: Alexandru Baltag (Amsterdam) and Sonja Smets
(Groningen)
Important Dates:
Workshop Submission deadline: 15 June 2011
Workshop Notification of the acceptance: 15 July 2011
Final abstracts due: 1 August 2011
Early Registration deadline: 15 August 2011