[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------
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
