Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010

We are happy to announce Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010 which takes place on March 4 and 5, 2010 in Bern.

Please see program and venue for detailled information.

Invited speakers:

  • Henk Barendregt, Radboud University, Nijmegen
  • Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University, Linz
  • Giuseppe Longo, CNRS & Département. d'Informatique, Ecole Normale Supérieure, Paris
  • Johann A. Makowsky, Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa
  • Giuseppe Rosolini, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Genova

If you have any questions, please contact us.

Erwin Engeler

Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich. After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota and at the University of California, Berkeley. He returned to Switzerland in 1972, where he served as a professor of logic and computer science at the ETH until his retirement in 1997. Engeler was named a Fellow of the Association for Computing Machinery in 1995.
(Quoted from Wikipedia, The Free Encyclopedia.)

SSLPS

The Swiss Society for Logic and Philosophy of Science (SSLPS) was founded in Zürich in 1948. The society aims to further the development and study of logic and the philosophy of science, and to bring together those interested in these fields. It is part of the Platform Mathematics, Astronomy and Physics MAP of the Swiss Academy of Sciences ScNat. The SSLPS is grateful to Professor Engeler for his many contrubutions to logic and for acting as a former president of the society.