Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 31 March - 1 April 2011
Location: 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/

Please note that this newsitem has been archived, and may contain outdated information or links.