Logic List Mailing Archive

SD 2017: Structures & Deduction

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