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/2011/newsitem/4156/28- October-2011-Inaugural-lecture-Yde-Venema-Algebra- en-Coalgebra-bespiegelingen-in-de-logica-Yde-Venem a DTSTAMP:20111026T000000 SUMMARY:Inaugural lecture Yde Venema: 'Algebra en Coalgebra, bespiegelingen in de logica', Yde Venem a ATTENDEE;ROLE=Speaker:Yde Venema DTSTART;TZID=Europe/Amsterdam:20111028T160000 DTEND;TZID=Europe/Amsterdam:20111028T000000 LOCATION:Aula, University of Amsterdam, Singel 411 , Amsterdam DESCRIPTION:Yde Venema was appointed professor of logic, in particular mathematical logic and founda tions of computer science, in October 2010. He wil l hold his inaugural lecture (in Dutch), entitled 'Algebra en Coalgebra, bespiegelingen in de logica ' (Algebra and Coalgebra: Reflections in Logic') o n Friday 28th October 2011 at 16:00 hours in the A ula of the University of Amsterdam. For more info rmation, see http://www.science.uva.nl/home.cfm/F7 55E844-949D-4519-8D53C568A02E0FDA X-ALT-DESC;FMTTYPE=text/html:\n
Yde Venema was appointed professor of logic, in particular m athematical logic and foundations of computer scie nce, in October 2010. He will hold his inaugural l ecture (in Dutch), entitled 'Algebra en Coalgebra, bespiegelingen in de logica' (Algebra and Coalgeb ra: Reflections in Logic') on Friday 28th October 2011 at 16:00 hours in the Aula of the University of Amsterdam.
\n \nFor more infor mation, see http://www.science.uva.nl/home.cfm/F755E8 44-949D-4519-8D53C568A02E0FDA
URL:/NewsandEvents/Archives/2011/newsitem/4156/28- October-2011-Inaugural-lecture-Yde-Venema-Algebra- en-Coalgebra-bespiegelingen-in-de-logica-Yde-Venem a END:VEVENT END:VCALENDAR