ee80.iam.unibe.ch
Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010
http://www.ee80.iam.unibe.ch/venue.html
And SSLPS Annual Meeting 2010. Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010. The Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting take place at. 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 berninfo.com.
sgslps.ch
SGSLPS
http://www.sgslps.ch/index.php
Swiss Graduate Society for Logic. And Philosophy of Science. Our Society in a Nutshell. The Swiss Graduate Society for Logic and Philosophy of Science. SGSLPS) is an association of advanced undergraduate and graduate students with a distinctive interest in the large domains of logic and philosophy of science. The SGSLPS is the young branch of the Swiss Society for Logic and Philosophy of Science. The SGSLPS offers a platform of exchange for all those concerned with logic or philosophy of science.
ee80.iam.unibe.ch
Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010
http://www.ee80.iam.unibe.ch/index.html
And SSLPS Annual Meeting 2010. 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. Henk Barendregt, Radboud University, Nijmegen. Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University, Linz. Giuseppe Longo, CNRS and Département. d'Informatique, Ecole Normale Supérieure, Paris.
ee80.iam.unibe.ch
Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010
http://www.ee80.iam.unibe.ch/program.html
And SSLPS Annual Meeting 2010. Colloquium in Honour of Erwin Engeler's 80th Birthday and SSLPS Annual Meeting 2010. Thursday, March 4, 2010. 1400 14.15 Opening. 1415 15.15 Henk Barendregt: Reminiscences and Predictions. Henk Barendregt, Radboud University, Nijmegen. 1515 15.45 Coffee. 1545 16.45 Giuseppe Rosolini: A Category-Theoretic Point of View of Engeler's Models of the Untyped Lambda-Calculus. A Category-Theoretic Point of View of Engeler's Models of the Untyped Lambda-Calculus. 1815 19.00 Apero.
apt13.unibe.ch
Advances in Proof Theory 2013
http://www.apt13.unibe.ch/about.php
Advances in Proof Theory 2013. December 13–14, 2013. Sponsors of APT 13. Altonaer Stiftung für philosophische Grundlagenforschung. Swiss Academy of Sciences. Swiss National Science Foundation. Swiss Society for Logic and Philosophy of Science. December 13–14, 2013. Created by Roman Kuznets. Technical assistance and photos by Alexander Kashev.
apt13.unibe.ch
Advances in Proof Theory 2013
http://www.apt13.unibe.ch/index.php
Advances in Proof Theory 2013. December 13–14, 2013. The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. This meeting is dedicated to the 60th birthday of Professor Gerhard Jäger. December 13–14, 2013.