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/2018/newsitem/10395/19
 ---20-November-2018-The-Many-Faces-of-Logic-A-Work
 shop-with-Johan-van-Benthem
DTSTAMP:20181212T131403
SUMMARY:The Many Faces of Logic. A Workshop with J
 ohan van Benthem
DTSTART;VALUE=DATE:20181119
DTEND;VALUE=DATE:20181120
LOCATION:RWTH Aachen University, Germany
DESCRIPTION:Logical dynamics pursues the central i
 dea that actions and events that produce informati
 on and change agents' states are first-class citiz
 ens in the domain of logic, with a structure of th
 eir own  that fits seamlessly with that of traditi
 onal notions such as proposition, proof, or theory
 . We will discuss some history of this move from s
 tatics to dynamics, show how it connects logicwith
  other disciplines in new ways, give a taste of re
 cent results, and convey some new philosophical, m
 athematical and computational  issues that arise i
 n this perspective.
X-ALT-DESC;FMTTYPE=text/html:\n  Logical dynamics 
 pursues the central idea that actions and events t
 hat produce information and change agents' states 
 are first-class citizens in the domain of logic, w
 ith a structure of their own<br>\n  that fits seam
 lessly with that of traditional notions such as pr
 oposition, proof, or theory. We will discuss some 
 history of this move from statics to dynamics, sho
 w how it connects logicwith other disciplines in n
 ew ways, give a taste of recent results, and conve
 y some new philosophical, mathematical and computa
 tional<br>\n  issues that arise in this perspectiv
 e.\n
URL:https://www.rwth-aachen.de/global/show_documen
 t.asp?id=aaaaaaaaabcmpnh&download=1
END:VEVENT
END:VCALENDAR