[TYPES/announce] CL&C - Call for participation

[Ulrich Berger]

                       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