[TYPES/announce] Workshop Cross Perspectives on Proof Systems

[Mattia Petrolo]

==============================================================

*** CROSS PERSPECTIVES ON PROOF SYSTEMS AND THEIR SIGNIFICANCE ***

http://ls.inf.uni-tuebingen.de/hypotheses/proofsystems.html

May 3, 2012 - ENS, 45 rue d'Ulm 75005 Paris

==============================================================


PROGRAM

9h30 - 10h30
Patrick Blackburn (University of Roskilde)
Hybrid Proof Theory

10h30 - 11h30
Zoran Petric & Kosta Dosen (Mathematical Institute, SANU)
Invariants for Classifcation of Propositional Formulae

11h30 - 11h45 coffee break

11h45 - 12h45
Dale Miller (INRIA & LIX/Ecole Polytechnique)
Focused sequent calculus proof systems

12h45 - 14h30 lunch

14h30 - 15h30
Francesca Poggiolesi (IHPST-Université Paris 1)
Analytic Logic of Proofs

15h30 - 16h30
Didier Galmiche (LORIA–UHP Nancy 1)
Label-free Calculi for Intuitionistic Modal Logics

16h30 - 16h45 coffee break

16h45 - 17h45
Thomas Piecha (Universität Tübingen)
Symmetries in the sequent calculus

17h45 - 18h General discussion/conclusion


ABSTRACTS
http://ls.informatik.uni-tuebingen.de/hypotheses/proofsystems.html


Local organizers
Francesca Poggiolesi (poggiolesi at gmail.com) and Mattia Petrolo (
mattia.petrolo at univ-paris-diderot.fr)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120412/8597b065/attachment.html>