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/1000/newsitem/-6/The-Z uidelijk-Interuniversitair-Colloquium-ZIC-on-Logic -and-Theoretical-Computer-Science DTSTAMP:20050506T000000 SUMMARY:The Zuidelijk Interuniversitair Colloquium (ZIC) on Logic and Theoretical Computer Science DTSTART;TZID=Europe/Amsterdam:10000111T141500 DTEND;TZID=Europe/Amsterdam:20060314T160000 LOCATION:Eindhoven/Tilburg DESCRIPTION:The ZIC (Zuidelijk Interuniversitair C olloquium) is a bi-weekly colloquium, organized by the Formal Methods group of the departement of co mputer science at the TU/E, and the Logic group of the department of philosophy at Tilburg Universit y. The subjects of the talks cover a vast area, including type theory, process algebra, game theor y. model checking, term rewriting. The colloquium is held at the Technische Universiteit Eindhoven, on Tuesday afternoons from 14:15 either in one-hou r format (until 15:00) or in two-hour format (unti l 16:00, with a 15 minute break). The audience var ies from 5 to 25 people of several universities, m ore specifically Eindhoven, Tilburg, Nijmegen, and occasionaly also people from outside academia. For abstracts and more information, see http://ww w.win.tue.nl/zic/ or contact Francien Dechesne (f. dechesne at tue.nl). X-ALT-DESC;FMTTYPE=text/html:\n
The ZIC (Zuideli jk Interuniversitair Colloquium) is a bi-weekly \n colloquium, organized by the Formal Methods \n group of the departement of computer\n sc ience at the TU/E, and the\n Logic group of the department o f philosophy\n at Tilburg University.\n
\nT he subjects of the talks cover a vast area, includ ing type theory,\n process algebra, game theory. model checking, term rewriting. The\n colloquium is held at the Technische Universiteit Eindhoven,\ n on Tuesday\n afternoons from 14:15 either in o ne-hour format (until 15:00) or\n in two-hour for mat (until 16:00, with a 15 minute break). The aud ience\n varies from 5 to 25 people of several uni versities, more specifically\n Eindhoven, Tilburg , Nijmegen, and occasionaly also people from outsi de\n academia.\n
\n \n\n Fo
r abstracts and more information, see\n h
ttp://www.win.tue.nl/zic/\n or contact
Francien Dechesne (f.dechesne