[TYPES/announce] Structures and Deduction 2014 - call for participation

[Willem Heijltjes]

----------------------------------------------------
                CALL FOR PARTICIPATION
         The Third International Workshop on

           STRUCTURES AND DEDUCTION (SD14)

                    12 July 2014
        Affiliated with CSL-LICS at FLOC 2014
          Part of the Vienna Summer of Logic

                http://vsl2014.at/sd/
----------------------------------------------------

This is the third in a series of meetings that bring
together researchers in different areas of proof
theory. The main interest is in new  algebraic and
geometric results in proof theory that expand our
abilities to manipulate proofs, that help to reduce
bureaucracy in deductive systems, and that
ultimately lead to new methods for proof search and
new kinds of proof certificates.


Invited speakers

    Gilles Dowek (Inria Paris-Rocquencourt)
    Rosalie Iemhoff (Utrecht University)
    Kazushige Terui (Kyoto University)


Contributed talks

http://www.easychair.org/smart-program/VSL2014/SD-accepted.html


Programme

http://www.easychair.org/smart-program/VSL2014/SD-program.html


Registration

    http://vsl2014.at/registration/

    (early registration deadline: 8 June)

    The workshop is found under: Week 1 of FLOC,
    Workshop Block 1, one day workshops - July 12.


We look forward to seeing you in Vienna!

Kaustuv Chaudhuri
Willem Heijltjes
Lutz Strassburger