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 http://www.illc.u va.nl/Tbilisi/Tbilisi2011/Programme/Special_Sessio ns/. We ask for submissions for Contributed Work shop Talks on any of the aforementioned topics. Pl ease submit your abstract (max. 2 pages) by 15 Jun e 2011. X-ALT-DESC;FMTTYPE=text/html:
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
\n\n Topics of interest include:
\n
Modal Logics for Agency
\n Reas
oning about higher-order knowledge or beliefs in\n
Multi-agent Systems
\n Logics
for Information Updates (learning, belief revisio
n,\n theory change, conditioning etc.)
\n Logical approaches to strategies, pref
erences and rationality\n in Epistemic Gam
e Theory
\n Logics for reasoning about
protocols, planning and intentions.\n
For more information, s ee http://www.illc.uva.nl/Tbilisi/Tbilisi2011/Program me/Special_Sessions/.
\n We ask for submissions for Contribute d Workshop Talks on any of the aforementioned topi cs. Please submit your abstract (max. 2 pages) by 15 June 2011.\n
\n