8-9 Sep 2017
Oxford, England
*** 2nd Call for participation: Structures and Deduction 2017 *** SD17: 4th Int. Workshop on Structures and Deduction 2017 Oxford, 8-9 September 2017 --- Affiliated with FSCD 2017 Workshop page: http://www.anupamdas.com/sd17/ FSCD 2017 page: http://www.cs.ox.ac.uk/conferences/fscd2017/ SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates. *** Workshop Programme *** Abstracts for the talks are available on the workshop webpage: http://www.anupamdas.com/sd17/ A draft programme is available here (check the box for "SD"): http://www.cs.ox.ac.uk/conferences/fscd2017/programme.html *** Invited speakers *** Bahareh Afshari David Baelde Stefano Berardi Claudia Nalon Michel Parigot Lutz Straßburger *** Contributed talks *** Anupam Das Ken Akiba Bahareh Afshari, Stefan Hetzl and Graham Leigh Dale Miller Aurore Alcolei, Pierre Clairambault, Martin Hyland and Glynn Winskel Susanne Bobzien and Roy Dyckhoff Guillaume Munch-Maccagnoni Sonia Marin Marco Solieri and David Sherratt *** Programme committee *** Andrea Aler Tubella James Brotherston Kaustuv Chaudhuri (co-chair) Anupam Das (co-chair) Willem Heijltjes (co-chair) Kenji Miyamoto Giselle Reis *** Contact *** We can be reached by email directly or via sd17@easychair.org The organisers. Kaustuv Chaudhuri Anupam Das Willem Heijltjes -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam