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/2007/newsitem/1867/22-
 June-2007-RUC-ILLC-Workshop-on-Formalizing-Actions
 -Roskilde-University-Denmark
DTSTAMP:20070527T000000
SUMMARY:RUC-ILLC Workshop on Formalizing Actions, 
 Roskilde University, Denmark
DTSTART;VALUE=DATE:20070622
DTEND;VALUE=DATE:20070622
LOCATION:Roskilde University, Denmark
DESCRIPTION:In recent years formalizing actions ha
 s become a common theme in formal philosophy and p
 hilosophical logic. Understanding actions and agen
 cy is important for e.g. dynamic logic, deontic lo
 gic and epistemic logic. Actions might be seen as 
 unique or as part of a more general theory of dyna
 mic processes. In this workshop we bring together 
 top researchers who formalize actions within dynam
 ic logic, deontic logic, epistemic logic, formal d
 ecision theory, temporal logic - and any combinati
 on of these.    For more information, see http://a
 kira.ruc.dk/~mamobe/actionworkshop.html.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 In recent years formalizing actions has become a c
 ommon theme\n        in formal philosophy and phil
 osophical logic. Understanding\n        actions an
 d agency is important for e.g. dynamic logic,\n   
      deontic logic and epistemic logic. Actions mi
 ght be seen as\n        unique or as part of a mor
 e general theory of dynamic\n        processes. In
  this workshop we bring together top researchers\n
         who formalize actions within dynamic logic
 , deontic logic,\n        epistemic logic, formal 
 decision theory, temporal logic - and\n        any
  combination of these.\n      </p>\n    \n      <p
 >\n        For more information, see\n<a target="_
 blank" href="http://akira.ruc.dk/~mamobe/actionwor
 kshop.html">http://akira.ruc.dk/~mamobe/actionwork
 shop.html</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2007/newsitem/1867/22-
 June-2007-RUC-ILLC-Workshop-on-Formalizing-Actions
 -Roskilde-University-Denmark
END:VEVENT
END:VCALENDAR
