[TYPES/announce] 2nd CFP: Structures and Deduction 2026, Lisbon, 24-25 July

[Lutz Strassburger]

======================================================================
                         Call for Papers

                             SD 2026

                  Sixth International Workshop on
                   Structures and Deduction 2026

                      Lisbon, 24-25 July 2026

                     Affiliated with FLoC 2026

        https://urldefense.com/v3/__https://www.lix.polytechnique.fr/*lutz/orgs/SD26.html__;fg!!IBzWLUs!Wf9940mbz6KvnRDo9xDTYD7qV6fdP6Dz2YBRySWiHZtwuLM77dwREiERdtiOC_sC6-VPAgfgma6wxmwlPoga6Mw06jozN3trMS46fYs$ 
======================================================================


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!Wf9940mbz6KvnRDo9xDTYD7qV6fdP6Dz2YBRySWiHZtwuLM77dwREiERdtiOC_sC6-VPAgfgma6wxmwlPoga6Mw06jozN3trMS46fYs$ 

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.


*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


*Tutorials*

  - Willem Heijltjes, University of Bath:
    "The Functional Machine Calculus"

  - More TBC


*Invited talks*

  - Raheleh Jalali, University of Bath
    (joint with Women in Logic)

  - More TBC


*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!Wf9940mbz6KvnRDo9xDTYD7qV6fdP6Dz2YBRySWiHZtwuLM77dwREiERdtiOC_sC6-VPAgfgma6wxmwlPoga6Mw06jozN3tr6LXxha8$ 


*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
Luca Roversi, Università di Torino
Alexis Saurin, CNRS and IRIF
Lutz Straßburger, Inria and LIX (co-chair)


*Organisation*

Victoria Barrett
Lutz Straßburger