[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
Call for Participation
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!X_qzxmb2O-xUZqT-fzB9aXuWLVFSLNOL_Mzvl9SGuzFWJRHHKcj-kg61EPqAFoCv1OLLZRvO9GZqkVOU1qe5Wr_mSYeog8ztmt44wY8$
======================================================================
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.
*Registration*
https://urldefense.com/v3/__https://www.floc26.org/registration__;!!IBzWLUs!X_qzxmb2O-xUZqT-fzB9aXuWLVFSLNOL_Mzvl9SGuzFWJRHHKcj-kg61EPqAFoCv1OLLZRvO9GZqkVOU1qe5Wr_mSYeog8ztDC7Icz4$
Registration deadline: July 15
*Tutorials*
- Willem Heijltjes, University of Bath:
"The Functional Machine Calculus: An Introduction"
- Tim Lyon, TU Dresden:
"A Guided Tour of Sequent Formalisms for Modal Logics"
*Invited talks*
- Robert Atkey, University of Strathclyde
- Cameron Allett, University of Bath
- Raheleh Jalali, University of Bath
(joint with Women in Logic)
- Olivier Laurent, CNRS & ENS Lyon
- Kazushige Terui, Kyoto University
*Organisation*
- Victoria Barrett, Inria & LIX
- Lutz Straßburger, Inria & LIX
