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