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/2008/newsitem/2149/4-8
 -August-2008-Workshop-Dynamics-in-Logic-@-ESSLLI-2
 008-Hamburg-Hamburg
DTSTAMP:20071220T000000
SUMMARY:Workshop Dynamics in Logic @ ESSLLI 2008 H
 amburg, Hamburg
DTSTART;VALUE=DATE:20080804
DTEND;VALUE=DATE:20080808
LOCATION:Hamburg
DESCRIPTION:The workshop is on approaches with exp
 licit dynamic operators in the language, i.e., as 
 in dynamic epistemics, temporal epistemics and app
 roaches to belief revision with explicit dynamic o
 perators in the logical language. Tradional and in
 dependently well-established approaches to dynamic
 s such as PDL and the many variants and extensions
  of dynamic logic in general, mu-calculus, and pi-
 calculus, are also in the focus of the workshop. N
 ew frontiers for dynamics in logic include: descri
 ption logics and decidable fragments of FOL, seman
 tic-web approaches, BDI-type logics, deontic logic
 s, relations between knowability, ability, and the
  dynamics of knowledge, and cognitively motivated 
 approaches. The workshop also welcomes work on inf
 ormation change as the result of deliberation, i.e
 ., on the dynamics of reasoning.    For more infor
 mation, see http://home.hib.no/ansatte/tag/dil08  
 Submission deadline: March 8
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The workshop is on approaches with explicit d
 ynamic operators in the language, i.e., as in dyna
 mic epistemics, temporal epistemics and approaches
  to belief revision with explicit dynamic operator
 s in the logical language. Tradional and independe
 ntly well-established approaches to dynamics such 
 as PDL and the many variants and extensions of dyn
 amic logic in general, mu-calculus, and pi-calculu
 s, are also in the focus of the workshop. New fron
 tiers for dynamics in logic include: description l
 ogics and decidable fragments of FOL, semantic-web
  approaches, BDI-type logics, deontic logics, rela
 tions between knowability, ability, and the dynami
 cs of knowledge, and cognitively motivated approac
 hes. The workshop also welcomes work on informatio
 n change as the result of deliberation, i.e., on t
 he dynamics of reasoning.\n      </p>\n    \n     
  <p>\n        \n        For more information, see 
 <a target="_blank" href="http://home.hib.no/ansatt
 e/tag/dil08">http://home.hib.no/ansatte/tag/dil08<
 /a>\n      </p>\n    </div><div>Submission deadlin
 e: March 8</div>
URL:/NewsandEvents/Archives/2008/newsitem/2149/4-8
 -August-2008-Workshop-Dynamics-in-Logic-@-ESSLLI-2
 008-Hamburg-Hamburg
END:VEVENT
END:VCALENDAR
