Advances in Proof Theory
(posted 2013-11-20)
Conference held in Bern, December 13 and 14, 2013. This meeting is dedicated to the 60th birthday of Professor Gerhard Jäger. The symposium will be collocated with the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS). Details can be found here.

Humboldt Kolleg Proof
(posted 2013-08-20)
Proof, an international conference within the frame of the Huboldt-Kollegs takes place in Bern on September 9-13, 2013. Details can be found here.

Annual meeting of the SSLPS (posted 2012-07-20)
The annual meeting of the Swiss Society for Logic and Philosophy of Sciences SSLPS will be held at the ETH Zurich on October 26 and 27, 2012 and will be a contribution to the Turing Centenary. The meeting is entitled Turing under Discussion and the website can be found here.

Explicit paradigms in logic and computer science in Bern
(posted 2012-06-01)
A workshop on explicit paradigms in logic and computer science takes place in Bern on July 4-6, 2012. The website of the meeting is here.

Tableaux 2011 in Bern
(posted 2011-04-15)
The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Tableaux 2011 takes place in Bern on July 4-8. The website is here.

Annual meeting of the SSLPS (posted 2011-02-13)
The SSLPS Annual Meeting 2011 will be held in Lausanne on March 31 and April 1, 2011. It is organized by Jacques Duparc and his group. The topic of the meeting is "On the Posterity of Büchi (Logic and Automata)". The website is here.

Annual meeting of the SSLPS (posted 2010-02-20)
The SSLPS Annual Meeting 2010 will be held in Bern on March 4 and 5, 2010. It is organized in conjunction with a colloquium in honor of Erwin Engeler's 80th birthday. The website of the meeting is here.

Alan Turing year 2012 (posted 2010-02-02)
Alan Turing YearJune 23, 2012, is the Centenary of Alan Turing's birth in London. 2012 will be a year-long celebration of Turing's life and scientific impact, with a number of major events taking place throughout the year. Most of these will be linked to places with special significance in Turings life, such as Cambridge, Manchester and Bletchley Park. For details see the Turing centenary website.

Annual meeting of the SSLPS (posted 2009-07-20)
The annual meeting of the Swiss Society for Logic and Philosophy of Sciences SSLPS will be held in Geneva on October 9 and 10 2009 and will be devoted to Plurals and Plural Quantification.

Symposium on Proof Theory and Constructivism (posted 2009-05-20)
The Symposium will be held at the Research Visitors' Centre, School of Mathematics, University of Leeds and will comprise three connected events. For details see here.

Special issue of Dialectica has appeared (posted 2008-08-19)
The special issue of Dialectica, celebrating the 50 years anniversary of Gödel's seminal paper on the functional ("Dialectica") interpretation has now appeared. The electronic copy is now available here.

Workshop on Proof Theory (posted 2008-06-13)
Immediately following the Logic Colloquium 2008, there will be a Workshop on Recent Trends in Proofs Theory taking place in Bern on July 9-11, 2008.

Logic Colloquium 2008 in Bern (posted 2008-02-05)
The European Summer Meeting of the Assoctaion for Symbolic Logic ASL will take place in Bern from July 3-8, 2008 and is organized by the TIL research group. The website of the Logic Colloquium 08 can be found here.

Logic and Information autumn meeting (posted 2007-11-15)
The logic and information autumn meeting will take place in Münchenwiler on November 28 and 29 2007. 

Annual meeting of the SSLPS (posted 2007-11-05)
The annual meeting of the Swiss Society for Logic and Philosophy of Sciences SSLPS will be held in Lausanne on November 29 and 30 2007 and will be devoted to Structuralism.

ABM 2007 in Münchenwiler (posted 2007-10-05)
The traditional Bern-Munich ABM meeting takes place on October 9-10. 

Logic and Information spring meeting (posted 2007-04-29)
The logic and information spring meeting is devoted to Temproal Logics and Temproal Reasoning. 

PCC 2007 in Swansea (posted 2007-04-06)
The 6th international workshop of Proof, Computation, Complexity '07 will take place in Swansea. The PCC '07 website can be found here.

CSL 2007 in Lausanne (posted 2007-03-13)
The annual meeting of the European Association for Computer Science Logic will take place in Lausanne on September 11-15, 2007. I am helping in the organizing and programme committe of this meeting. The CSL 2007 website is here.

Swiss-South African joint seminar (posted 2007-01-10)
There will be a joint seminar between the Group for Theoretical Computer Science and Logic at the University of Bern and the Research Group in Topology and Category Theory at the University of Cape Town to be held on January 22-25, 2007 in Bern.

Logic and Information meeting (posted 2006-11-12)
The autumn meeting of the Logic and Information cooperation project will be held in Münchenwiler on October 22 and 23 and is centered around Description Logic and Ontologies. 

Annual meeting of the SSLPS (posted 2006-08-20)
The annual meeting of the Swiss Society for Logic and Philosophy of Sciences SSLPS will be held in Friboug on October 11 and 12 2006 and will be devoted to Foundational Theories of Mathematics.

Special issue of Dialectica in 2008 (posted 2006-06-25)
I am the guest editor of a special issue of Dialectica in 2008, celebrating the 50 years anniversary of Gödel's seminal paper on the functional ("Dialectica") interpretation.

Special Session at CiE 2006 (posted 2006-03-20)
Together with Alessandra Carbone, I organize a Special Session on Proofs and Computation at CiE 2006 in Swansea, Wales, June 30 - July 5, 2006.