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/2010/newsitem/3395/16- 18-September-2010-Meeting-in-Honour-of-Jouko-Vaana nens-60th-Birthday-Helsinki-Finland DTSTAMP:20100520T000000 SUMMARY:Meeting in Honour of Jouko Vaananen's 60th Birthday, Helsinki, Finland DTSTART;VALUE=DATE:20100916 DTEND;VALUE=DATE:20100918 LOCATION:Helsinki, Finland DESCRIPTION:This meeting, organized by the Helsink i Logic Group, is in honour of professor Jouko Vää nänen's sixtieth birthday. Topics include model th eory, set theory, foundations of mathematics, logi c in computer science, semantics of natural langua ge, games, generalized quantifiers, infinitary lan guages, and abstract logic. There will be two tu torials 13-15th September by Andres Villaveces (Mo del Theory of Sheaves) and by Boban Velickovic (Tr ansfinite Games). For more information, see http: //www.helsinki.fi/~kulikov/jouko/ X-ALT-DESC;FMTTYPE=text/html:\n
This meeti ng, organized by the Helsinki\n Logic Group, is in honour of professor Jouko\n Vä&aum l;nänen's sixtieth\n birthday. Topics in clude model theory, set theory, foundations\n of mathematics, logic in computer science, semant ics of natural\n language, games, generalized quantifiers, infinitary languages,\n and abs tract logic.\n
\nThere will be t wo tutorials 13-15th September by Andres Villavece s (Model Theory of Sheaves) and by Boban Velickovi c (Transfinite Games).
\n \nFor mor e information, see\n http:// www.helsinki.fi/~kulikov/jouko/\n
URL:/NewsandEvents/Archives/2010/newsitem/3395/16- 18-September-2010-Meeting-in-Honour-of-Jouko-Vaana nens-60th-Birthday-Helsinki-Finland END:VEVENT END:VCALENDAR