[isabelle] CL&C - Call for participation



                      CALL FOR PARTICIPATION

                               CL&C

                     International Workshop on
                  Classical Logic and Computation
                http://www.doc.ic.ac.uk/~svb/CLaC08

                     Sunday, July 13, 2008
                      Reykjavik, Iceland

           Affiliated workshop of ICALP, July 6-13, 2008


CL&C'08 is the second of a new conference series on "Classical Logic
and Computation". It intends to cover all work aiming to explore
computational aspects of classical logic and mathematics.

INVITED SPEAKERS

   Helmut Schwichtenberg        LMU Munich

   Stephane Lengrand            LIX Polytechnique

CONTRIBUTED TALKS

   Dan Hernest and Trifon Trifonov:
   Light Dialectica Revisited

   Stefan Hetzl, Alexander Leitsch, Daniel Weller and
   Bruno Woltzenlogel  Paleo:
   Herbrand Sequent Extraction

   Richard McKinley:
   Herbrand expansion proofs and proof identity

   Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa and Hiroshi Nakano:
   Inhabitance of Existential Types is Decidable in
   Negation-Product Fragment

   Steffen van Bakel, Luca Cardelli and Maria Grazia Vigliotti:
   From X to pi; Representing the Classical Sequent Calculus
   in the `p-calculus

INFORMAL PRESENTATIONS

   James Brotherston and Cristiano Calcagno:
   Classical Logic of Bunched Implications

   Willem Heijltjes:
   Proof Forests with Cut-Elimination Based on Herbrand's Theorem

   Ozan Kahramanogullari:
   Ingredients of a Deep Inference Theorem Prover

   Diana Ratiu:
   An Application of the Refined A-Translation for a Variant of
   the Infinite PHP

   Alexander Summers:
   A Curry-Howard Correspondence for a Canonical Classical
   Natural Deduction

PROGRAMME COMMITTEE

   Steffen van Bakel            Imperial College London
   Ulrich Berger                Swansea, chair
   Stefano Berardi              Turin
   Paola Bruscoli               Bath
   Thierry Coquand              Chalmers
   Fernando Ferreira            Lisbon
   Michel Parigot               Paris VII
   Aldo Ursini                  Siena

REGISTRATION   Follow the link on the workshop web page
               http://www.doc.ic.ac.uk/~svb/CLaC08

CONTACT  u.berger at swansea.ac.uk

Kind regards,
Ulrich Berger





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.