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/2003/newsitem/389/31-M
 arch-2003-Seminarie-Logica-Informatica-2003-SLI-20
 03-
DTSTAMP:20030318T000000
SUMMARY:Seminarie: Logica & Informatica 2003 (SLI-
 2003)
DTSTART;VALUE=DATE:20030331
DTEND;VALUE=DATE:20030331
LOCATION:Vrije Universiteit Brussel, Pleinlaan 2, 
 1050 Brussel
DESCRIPTION:Within the framework of a seminar on l
 ogic and computer science, the Centre for Logic an
 d Philosophy of Science at the Vrije Universiteit 
 Brussel organizes a small workshop, under the name
  SLI-2003. The topic of this year's workshop will 
 be devoted to the area of research involving logic
 s dealing with "processes", "changes" or "interact
 ions" in the fields of computer science and quantu
 m physics. We present a program where the talks to
 uch upon current research in: game semantics, dyna
 mic logic, epistemic logic, game theory and quantu
 m logic.    For more information, see here or http
 ://www.vub.ac.be/CLWF/SLI-2003/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 Within the framework of a seminar on logic and com
 puter science, the\n         Centre for Logic and 
 Philosophy of Science at the Vrije Universiteit\n 
         Brussel organizes a small workshop, under 
 the name SLI-2003. The topic of\n         this yea
 r's workshop will be devoted to the area of resear
 ch involving\n         logics dealing with &quot;p
 rocesses&quot;, &quot;changes&quot; or &quot;inter
 actions&quot; in the fields\n         of computer 
 science and quantum physics. We present a program 
 where the\n         talks touch upon current resea
 rch in: game semantics, dynamic logic,\n         e
 pistemic logic, game theory and quantum logic.\n  
     </p>\n    \n      <p>\n        For more inform
 ation, see <a class="longdescriptionlink" href="ht
 tps://www.illc.uva.nl/NewsandEvents/newsitem/389">
 here</a> or\n        <a target="_blank" href="http
 ://www.vub.ac.be/CLWF/SLI-2003/">http://www.vub.ac
 .be/CLWF/SLI-2003/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/389/31-M
 arch-2003-Seminarie-Logica-Informatica-2003-SLI-20
 03-
END:VEVENT
END:VCALENDAR