BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2011/newsitem/3912/26-
 30-September-2011-Workshop-on-Logic-Information-an
 d-Agency-Kutaisi-Georgia
DTSTAMP:20110428T000000
SUMMARY:Workshop on Logic, Information and Agency,
  Kutaisi, Georgia
DTSTART;VALUE=DATE:20110926
DTEND;VALUE=DATE:20110930
LOCATION:Kutaisi, Georgia
DESCRIPTION:A workshop will be held on Logic, Info
 rmation, and Agency, as a special session of the N
 inth International Tbilisi Symposium on Language, 
 Logic and Computation. The workshop will feature t
 alks on applying formal logical methods in a broad
  sense (including non-classical and modal logics, 
 epistemic game theory, algebraic and categorical l
 ogic, probabilistic approaches etc) to reasoning a
 bout information and agency.    Topics of interest
  include:  Modal Logics for Agency  Reasoning abou
 t 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 f
 or reasoning about protocols, planning and intenti
 ons.   For more information, see https://www.illc.
 uva.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessi
 ons/.   We ask for submissions for Contributed Wor
 kshop Talks on any of the aforementioned topics. P
 lease submit your abstract (max. 2 pages) by 15 Ju
 ne 2011.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>A w
 orkshop will be held on Logic, Information, and Ag
 ency,\n        as a special session of the Ninth I
 nternational Tbilisi\n        Symposium on Languag
 e, Logic and Computation. The workshop\n        wi
 ll feature talks on applying formal logical method
 s in a\n        broad sense (including non-classic
 al and modal logics,\n        epistemic game theor
 y, algebraic and categorical logic,\n        proba
 bilistic approaches etc) to reasoning about inform
 ation\n        and agency.\n        </p>\n        
 <p>\n         Topics of interest include:<br/>\n  
        Modal Logics for Agency<br/>\n         Reas
 oning about higher-order knowledge or beliefs in\n
          Multi-agent Systems<br/>\n         Logics
  for Information Updates (learning, belief revisio
 n,\n         theory change, conditioning etc.)<br/
 >\n         Logical approaches to strategies, pref
 erences and rationality\n         in Epistemic Gam
 e Theory<br/>\n         Logics for reasoning about
  protocols, planning and intentions.\n        </p>
 \n    \n      \n        <p>For more information, s
 ee <a target="_blank" href="https://www.illc.uva.n
 l/Tbilisi/Tbilisi2011/Programme/Special_Sessions/"
 >https://www.illc.uva.nl/Tbilisi/Tbilisi2011/Progr
 amme/Special_Sessions/</a>.</p>\n    </div><div>\n
         <p>\n        We ask for submissions for Co
 ntributed Workshop Talks on any of the aforementio
 ned topics. Please submit your abstract (max. 2 pa
 ges) by 15 June 2011.\n        </p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3912/26-
 30-September-2011-Workshop-on-Logic-Information-an
 d-Agency-Kutaisi-Georgia
END:VEVENT
END:VCALENDAR