[TYPES/announce] WORKSHOP "STRUCTURAL PROOF THEORY" November 19-21 2008 PARIS

[Stefano Berardi]

   WORKSHOP "STRUCTURAL PROOF THEORY"
           November 19-21 2008
   175, rue Chevaleret, 75013 PARIS, France


  This workshop is devoted to structural proof theory questions, from
  the design of deduction systems for various logics (classical,
  intuitionistic, modal, etc.), to the computational interpretations of
  proofs through cut-elimination, proof-search, proof complexity. There
  will be 4 invited talks and the rest of the program will consist of
  contributed talks and discussions.

  The workshop is open to everyone interested. All proposals of
  contributed talks are welcome, including works in progress and
  discussions of open problems.

  If you intend to give a talk or simply participate, please let us know
  by sending an email to parigot [at] pps [dot] jussieu [dot] fr.

  For more informations see http://www.pps.jussieu.fr/~parigot/SPT-2008.html

  The previous workshop of this kind was a small workshop of the research
  project Types, many topics of the workshop are related to Type Theory 
and many
  participant are members of Types.