31 March - 1 April 2011, On the Posteriority of Buechi, Lausanne, Switzerland

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 century ago, in 1962, he invented what is now called the Büchi automaton. In the recent years there has been tremendous efforts devoted to extending Büchi?s results. I The aim of this workshop is to bring 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/recent_news/SSLPS/