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      <p>Julius-Ric
 hard B&Atilde;&frac14;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&Atilde
 ;&frac14;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&Atilde;&fr
 ac14;chi automaton. In the\n      recent years the
 re has been tremendous efforts devoted to\n      e
 xtending B&Atilde;&frac14;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      </p>\n 
    \n      <p>For 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/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/3837/31-
 March---1-April-2011-On-the-Posteriority-of-Buechi
 -Lausanne-Switzerland
END:VEVENT
END:VCALENDAR