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

Contact

Prof. Dr. Gerhard Jäger
Theoretische Informatik und Logik
Institut für Informatik und angewandte Mathematik
Neubrückstrasse 10
CH-3012 Bern
Switzerland

jaeger@iam.unibe.ch
Phone: +41 (0)31 631 85 60
Fax: +41 (0)31 631 32 60

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.