Advances in Proof Theory (posted 2016-05-16)

A collection volume Advances in Proof Theory, edited with Reinhard Kahle and Thomas Studer, has now been published by Birkhäuser, Springer Basel. The book is dedicated to the 60th birthday of Gerhard Jäger. The introduction and table of contents are available here.

Turing's Revolution (posted 2016-02-15)

My essay collection entitled Turing's Revolution - The Impact of His Ideas about Computability, edited with Giovanni Sommaruga, has now been published by Birkhäuser, Springer Basel. The introduction and table of contents are available here.

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)

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