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/403/18-2 1-September-2003-First-Order-Logic-75-FOL75-Humbol dt-University-Berlin-Germany DTSTAMP:20030410T000000 SUMMARY:First-Order Logic 75 (FOL75), Humboldt Uni versity, Berlin, Germany DTSTART;VALUE=DATE:20030918 DTEND;VALUE=DATE:20030921 LOCATION:Humboldt University, Berlin, Germany DESCRIPTION:Seventy-five years ago Hilbert and Ack erman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt Univer sity celebrate 75 years of first-order logic by ho sting this conference. For more information, see http://www.fol75.philog.ruc.dk/ X-ALT-DESC;FMTTYPE=text/html:\n
Seventy-fi ve years ago Hilbert and Ackerman published their \n Grundzüge der Theoretischen Logik, announcing the start of \n modern mathema tical logic. PHILOG in association with Humboldt \ n University celebrate 75 years of first-or der logic by hosting \n this conference.\n
\n \nFor more information, \n see http://www.fol75.philog.ruc.dk /\n
URL:/NewsandEvents/Archives/2003/newsitem/403/18-2 1-September-2003-First-Order-Logic-75-FOL75-Humbol dt-University-Berlin-Germany END:VEVENT END:VCALENDAR