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/460/25-3 0-August-2003-Annual-Conference-of-the-European-As sociation-for-Computer-Science-Logic-and-8th-Kurt- Goedel-Colloquium-Vienna-Austria DTSTAMP:20030710T000000 SUMMARY:Annual Conference of the European Associat ion for\n Computer Science Logic\n and\n 8th Kurt Goedel Colloquium, Vienna, Austria DTSTART;VALUE=DATE:20030825 DTEND;VALUE=DATE:20030830 LOCATION:Vienna, Austria DESCRIPTION:Computer Science Logic (CSL) is the an nual conference of the European Association for Co mputer Science Logic (EACSL). The Kurt Goedel Coll oquium (KGC) is the biennial conference of the Kur t Goedel Society (KGS). The joint conference is in tended for computer scientists whose research acti vities involve logic, as well as for logicians wor king on issues significant for computer science. For more information, an online registration form and a preliminary program, see http://www.logic.a t/csl03/ X-ALT-DESC;FMTTYPE=text/html:\n
Computer S cience Logic (CSL) is the annual conference of the European\nAssociation for Computer Science Logic (EACSL). The Kurt Goedel\nColloquium (KGC) is the biennial conference of the Kurt Goedel\nSociety (KGS). The joint conferen ce is intended for computer scientists\nwhose res earch activities involve logic, as well as for logicians\nworking on issues significant for c omputer science.\n
\n \nFor m ore information, an online registration form and\n a preliminary program, see\n htt p://www.logic.at/csl03/\n
URL:/NewsandEvents/Archives/2003/newsitem/460/25-3 0-August-2003-Annual-Conference-of-the-European-As sociation-for-Computer-Science-Logic-and-8th-Kurt- Goedel-Colloquium-Vienna-Austria END:VEVENT END:VCALENDAR