13 July 2008
Reykjavik, Iceland
___________________________________________________________________
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@swansea.ac.uk