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


View Larger Map

The Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting take place at

Haus der Universität
Schlösslistrasse 5
CH-3008 Bern

The venue can easily be reached by walking from the main station.

Alternatively, you can get there by Tram 3 in direction "Weissenbühl" or Tram 5 in direction "Fischermätteli". The stop for both trams is "Kocherpark".

For information about Bern and how to get there, please see

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.)


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.