[TYPES/announce] SD'26 Call for Papers

[Lutz Strassburger]

We are pleased to call for submissions to SD26, the sixth international
workshop on Structures and Deduction, which will take place in Lisbon on
24--25 July 2026, as a satellite event of FLoC 2026.

This workshop brings 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. The
webpage for the workshop can be found here:
https://urldefense.com/v3/__https://www.lix.polytechnique.fr/*lutz/orgs/SD26.html__;fg!!IBzWLUs!QVmxEUW69IQ1_Z12ZSzy8xjs_Lmb2Bvl0ISd4YSZF_KhoamZysgNXpBGbtRN3oypfAlDCc2563zFkO2jVpS4rLQfagKMqfWBRiq3zKk$ 

Previous editions of Structures and Deduction have taken place in
Dortmund (2019), Oxford (2017), Vienna (2014), Bordeaux (2009), and
Lisbon (2005).

Themes of the workshop include but are not limited to:

  * Syntactic representations of proofs, such as sequent calculi and deep
inference systems, in their focussed and unfocussed variants.
  * Combinatorial representations of proofs, such as proof nets, flow
graphs and expansion trees.
  * Algebraic representations of proofs, for example via game semantics
or category theory.
  * Methods for proof manipulation and normal forms of proofs, such as
cut-elimination, rule permutations and proof compression.
  * Formulas-as-types interpretations of proofs, such as Curry-Howard
correspondences and witness extraction.
  * Methods for incorporating computation and rewriting in proof search,
such as deduction modulo or cyclic proofs.
  * Complexity theoretic aspects of proof representations, such as
decision procedures from proof search, proof complexity and
normalisation complexity.


*Submissions*

Contributions can be regular papers, but also work in progress,
programmatic/position papers or tutorials. Submissions should take
between two and fifteen pages, to allow the committee to assess their
merits with reasonable effort.

Submissions can be uploaded here: https://urldefense.com/v3/__https://submissions.floc26.org/sd__;!!IBzWLUs!QVmxEUW69IQ1_Z12ZSzy8xjs_Lmb2Bvl0ISd4YSZF_KhoamZysgNXpBGbtRN3oypfAlDCc2563zFkO2jVpS4rLQfagKMqfWB4g3iHJQ$ 

*Important dates*

Deadline for submissions: April 23, 2026
Notification of acceptance: May 23, 2026
Early bird registration deadline for FLoC workshops: June 1, 2026
Deadline for final versions: TBA
Workshop dates: July 24-25, 2026

*Programme committee*

Matteo Acclavio, University of Sussex
Lionel Vaux Auclair, Université d’Aix-Marseille
Victoria Barrett, Inria and LIX (co-chair)
Aleks Kissinger, University of Oxford
Paul Blain Levy, University of Birmingham
Anela Lolić, TU Wien
Sonia Marin, University of Birmingham
Alexis Saurin, CNRS and IRIF
Lutz Straßburger, Inria and LIX (co-chair)
Luca Roversi, Università di Torino

*Organisation*

Victoria Barrett
Lutz Straßburger

****************************************************************************************