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/3837/31- March---1-April-2011-On-the-Posteriority-of-Buechi -Lausanne-Switzerland DTSTAMP:20110313T000000 SUMMARY:On the Posteriority of Buechi, Lausanne, S witzerland DTSTART;VALUE=DATE:20110331 DTEND;VALUE=DATE:20110401 LOCATION:Lausanne, Switzerland DESCRIPTION:Julius-Richard Büchi (1924-1984) was a Swiss logician and a mathematician who received his Dr. sc. nat. in 1950 at the ETH Zürich under the supervision of Paul Bernays. Almost half a cen tury ago, in 1962, he invented what is now called the Büchi automaton. In the recent years there ha s been tremendous efforts devoted to extending Bü chi?s results. I The aim of this workshop is to br ing together some among the best specialists from this new trend of automata theory and discuss the existing results and the ones to come. For more information, see http://www.hec.unil.ch/logique/re cent_news/SSLPS/ X-ALT-DESC;FMTTYPE=text/html:\n
Julius-Ric hard Büchi (1924-1984) was a Swiss\ n logician and a mathematician who received h is Dr. sc. nat. in\n 1950 at the ETH Zà ;¼rich under the supervision of\n Paul Bernays. Almost half a century ago, in 1962, he i nvented\n what is now called the BÃ&fr ac14;chi automaton. In the\n recent years the re has been tremendous efforts devoted to\n e xtending Büchi?s results. I The aim of this\n workshop is to bring together some among the best specialists\n from this new t rend of automata theory and discuss the existing\n results and the ones to come.\n
\n \nFor more information, see\n < a target="_blank" href="http://www.hec.unil.ch/log ique/recent_news/SSLPS/">http://www.hec.unil.ch/lo gique/recent_news/SSLPS/\n
URL:/NewsandEvents/Archives/2011/newsitem/3837/31- March---1-April-2011-On-the-Posteriority-of-Buechi -Lausanne-Switzerland END:VEVENT END:VCALENDAR