Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26-30 September 2011, Workshop on Logic, Information and Agency, Kutaisi, Georgia

Date: September 26-30, 2011
Location: Kutaisi, Georgia
Deadline: 15 June 2011

A workshop will be held on Logic, Information, and Agency, as a special session of the Ninth International Tbilisi Symposium on Language, Logic and Computation. The workshop will feature talks on 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.

For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessions/.

We ask for submissions for Contributed Workshop Talks on any of the aforementioned topics. Please submit your abstract (max. 2 pages) by 15 June 2011.

Please note that this newsitem has been archived, and may contain outdated information or links.