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
\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 "p rocesses", "changes" or "inter actions" 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
\n \n\n For more inform ation, see h ere or\n http://www.vub.ac. be/CLWF/SLI-2003/\n
URL:/NewsandEvents/Archives/2003/newsitem/389/31-M arch-2003-Seminarie-Logica-Informatica-2003-SLI-20 03- END:VEVENT END:VCALENDAR