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