[PT] Pisa Summer Workshop in Proof Theory - CFP

[Apologies for multiple copies]

*******************************************************************************
                                   Pisa Summer Workshop in Proof Theory

Pisa, Italy
12-15 June 2012

Organizers: Department of Philosophy, University of Pisa
                    Department of Philosophy, University of Helsinki

                                   Open call for papers
*******************************************************************************

Aimed at understanding the structure of mathematical proofs, proof  
theory has undergone
different phases: it has been reductive, general, structural.  
Especially thanks to
sequent calculus formalizations, deep results were attained as far as   
proofs in pure
logic and arithmetic are concerned. Through significant connections  
with computer
science, proof theory contributed to the birth of new areas of  
research outside
traditional mathematics, such as the verification of correctness of  
computer programs.
Natural deduction has led to the Curry-Howard correspondence and to  
connections with
functional programming, and sequent calculus is often used in systems  
of automatic proof
search, as in logic programming. Rooted in general proof theory, a  
proof-theoretic
semantics has been recently developed as an alternative to standard  
denotational
truth-condition semantics.
The workshop will focus mainly on proof systems, but we aim at  
touching several areas of
proof-theoretical research.

The workshop will be framed in two six-hour tutorials, six one-hour  
lectures, and is open
to half-hour contributed talks. People interested to present a paper  
in the workshop may
send a title with a short abstract to one of the following e-mail addresses:

[email protected]
[email protected]
sara.negri-pxSi+dnQzZMxHbG02/[email protected]
jan.vonplato-pxSi+dnQzZMxHbG02/[email protected]

Deadline for submissions:  March 20,  2012

TUTORIAL SPEAKERS:

      George Metcalfe  (University of Bern)
      Sara Negri  (University of Helsinki)

INVITED SPEAKERS:

      Arnon Avron   (University of Tel-Aviv)
      Kosta Dosen   (University of Belgrade)
      Hermann Ruge Jervell   (University of Oslo)
      Simone Martini   (University of Bologna)
      Alex Simpson   (University of Edinburgh)
      Jan von Plato   (University of Helsinki)


Preliminary web page:

http://www.helsinki.fi/~negri/pswpt.html