FSCD — PROGRAM

Days: Monday, 20 July 2026 Tuesday, 21 July 2026 Wednesday, 22 July 2026 Thursday, 23 July 2026

Monday, 20 July 2026
10:00-10:30 Coffee Break FSCD
Location: One03
10:30-12:00 Lambda Calculus FSCD
Session Chair:
Sandra Alves
Location: One03
10:30-11:00
Approximation theory for distant Bang calculus (abstract) 30 min
Kostia Chardonnet1, Jules Chouquet2, Axel Kerinec3
1 Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
2 Université d’Orléans, INSA CVL, LIFO, UR 4022, Orléans, France
3 Université Paris Est Creteil, LACL, F-94010 Créteil, France
11:00-11:30
Groups and Inverse Semigroups in Lambda Calculus (abstract) 30 min
Antonio Bucciarelli1, Arturo De Faveri1, Giulio Manzonetto1, Antonino Salibra1
1 Université Paris Cité, CNRS, IRIF
11:30-12:00
Non-Wellfounded Derivations for Intersection Subtyping with Fixpoints (abstract) 30 min
Olivier Laurent1, Jui-Hsuan Wu1
1 ENS Lyon
12:00-14:00 Lunch FSCD
Location: One03
14:00-15:30 Rewriting FSCD
Session Chair:
Carsten Fuhs
Location: One03
14:00-14:30
How Term Rewriting Structures Shape the Decidability of Knowledge Problems (abstract) 30 min
Raja Damanik1, Alwen Tiu1
1 The Australian National University
14:30-15:00
Undecidability for semirings with fixed points (abstract) 30 min
Anupam Das1, Abhishek De2, Stepan L. Kuznetsov3
1 University of Birmingham
2 Krea University
3 Steklov Mathematical Institute of RAS
15:00-15:30
New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations (abstract) 30 min
René Thiemann1, Dieter Hofbauer2, Ulysse Le Huitouze3, Johannes Waldmann4
1 University of Innsbruck
2 ASW Saarland
3 -
4 HTWK Leipzig
15:30-16:00 Coffee Break FSCD
Location: One03
16:00-17:00 Higher-Order Logic FSCD
Session Chair:
Dale Miller
Location: One03
16:00-16:30
Investigations on Higher-Order Infinitary Logic (abstract) 30 min
Thomas Traversié1, Olivier Hermant2, Marc Aiguier1
1 Université Paris-Saclay, CentraleSupélec, MICS
2 Université PSL, Mines Paris, CRI
16:30-17:00
Polymorphism Meets Dependently Typed Higher-Order Logic (abstract) 30 min
Daniel Ranalter1, Florian Rabe2, Cezary Kaliszyk3,1
1 University of Innsbruck
2 University of Erlangen-Nuremberg
3 University of Melbourne
Tuesday, 21 July 2026
09:00-10:00 Invited Talk: Laura Kovács FSCD
Session Chair:
Delia Kesner
Location: One03
09:00-10:00
Saturation-Guided Inductive Synthesis (abstract) 60 min
Laura Kovács1
1 TU Wien
10:00-10:30 Coffee Break FSCD
Location: One03
10:30-12:00 Complexity Analysis FSCD
Session Chair:
Patrick Baillot
Location: One03
10:30-11:00
A Bounded Parallel Intersection Type System (abstract) 30 min
Andrej Dudenhefner1, Aleksy Schubert2, Jakob Rehof1
1 TU Dortmund University
2 University of Warsaw
11:00-11:30
Resource-Aware Quantum Programming with General Recursion and Quantum Control (abstract) 30 min
Kostia Chardonnet1, Emmanuel Hainry1, Romain Péchoux1, Thomas Vinet1
1 Université de Lorraine, Inria, LORIA
11:30-12:00
The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete (abstract) 30 min
Yoshiki Nakamura1
1 Chiba University
12:00-14:00 Lunch FSCD
Location: One03
14:00-15:30 Proof Theory FSCD
Session Chair:
José Espírito Santo
Location: One03
14:00-14:30
Ground Stratified Inductive Definitions (abstract) 30 min
Nathan Guermond1, Gopalan Nadathur1
1 University of Minnesota Twin-Cities
14:30-15:00
Treating congruences as equalities within proofs (abstract) 30 min
Dale Miller1
1 Inria Saclay & LIX, IPP
15:00-15:30
Equational Reasoning in Languages with Binders via Permutation Fixed-Points (abstract) 30 min
Ali K. Caires-Santos1, Maribel Fernández2, Murdoch James Gabbay3, Daniele Nantes-Sobrinho1
1 Department of Mathematics, University of Brasília, Brazil
2 Department of Informatics, King's College London, London, UK
3 Heriot-Watt University, Edinburgh, UK
15:30-16:00 Coffee Break FSCD
Location: One03
16:00-17:30 Quantitative Models FSCD
Session Chair:
Maribel Fernández
Location: One03
16:00-16:30
Evidence-Tracked Tape Semantics for Probabilistic Computation (abstract) 30 min
Liron Cohen1, Tomer Samara1
1 Ben-Gurion University
16:30-17:00
Stable Profunctors and Matrix Representation (abstract) 30 min
Takeshi Tsukada1, Kazuyuki Asada2, Kengo Hirata3
1 Chiba University
2 Tohoku University
3 University of Edinburgh, Kyoto University
17:00-17:30
Type Theory with Erasure (abstract) 30 min
Constantine Theocharis1, Edwin Brady1
1 University of St Andrews
Wednesday, 22 July 2026
10:00-10:30 Coffee Break FSCD
Location: One03
10:30-12:00 Substructural Logics FSCD
Session Chair:
Olivier Laurent
Location: One03
10:30-11:00
Absolute convergence and Taylor expansion in web based models of linear logic (abstract) 30 min
Christine Tasson1, Aymeric Walch1
1 ISAE-SUPAERO
11:00-11:30
Quantum Bayesian Networks: Compositionality and Typing via Linear Logic (abstract) 30 min
Remi Di Guardia1, Thomas Ehrhard1, Claudia Faggian1
1 IRIF
11:30-12:00
On the consistency of naive set theories over substructural and fuzzy logics (abstract) 30 min
Kazushige Terui1
1 Kyoto University
12:00-14:00 Lunch FSCD
Location: One03
14:00-15:30 Concurrency FSCD
Session Chair:
Brigitte Pientka
Location: One03
14:00-14:30
Strong Normalisation for Asynchronous Effects (abstract) 30 min
Danel Ahman1, Ilja Sobolev1
1 University of Tartu
14:30-15:00
Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (abstract) 30 min
Misaki Kojima1, Naoki Nishida1
1 Nagoya University
15:00-15:30
A Complete Finitary Refinement Type System for Scott-Open Properties (abstract) 30 min
Colin Riba1, Adam Donadille2
1 LIP - ENS de Lyon
2 ENS de Lyon
15:30-16:00 Coffee Break FSCD
Location: One03
16:00-17:00 FSCD Business Meeting FSCD
Session Chair:
Patrick Baillot
Location: One03
16:00-17:00
FSCD Business Meeting (abstract) 60 min
Patrick Baillot1
1 Université de Lille
Thursday, 23 July 2026
09:00-10:00 Invited Talk: Andrej Bauer FSCD
Session Chair:
Frank Pfenning
Location: One03
09:00-10:00
Sheaves as Oracle Computations (abstract) 60 min
Danel Ahman1, Andrej Bauer2
1 Institute of Computer Science, University of Tartu
2 University of Ljubljana
10:00-10:30 Coffee Break FSCD
Location: One03
10:30-12:00 Proof Assistants FSCD
Session Chair:
Liron Cohen
Location: One03
10:30-11:00
Constructing (Co)inductive Types via Large Sizes (abstract) 30 min
Bastiaan Laarakker1, Daniël Otten2, Benno van den Berg2
1 Leiden University
2 University of Amsterdam
11:00-11:30
Not choosing is still a choice: Constructive mathematics without any choice (abstract) 30 min
Martin Baillon1, Yannick Forster1, Dominik Kirst1, Assia Mahboubi1, Pierre-marie Pédrot1
1 INRIA
11:30-12:00
Divide and Check: Logical Relations, No Algorithms Attached (abstract) 30 min
Josselin Poiret1, Kenji Maillard2, Nicolas Tabareau2
1 Nantes Université
2 Inria
12:00-14:00 Lunch FSCD
Location: One03
14:00-15:30 Quantum Computation FSCD
Session Chair:
Claudia Faggian
Location: One03
14:00-14:30
Denotational semantics for stabiliser quantum programs (abstract) 30 min
Cole Comfort1, Robert Booth2
1 Université Paris-Saclay
2 University of Oxford
14:30-15:00
Simpler Presentations for Many Fragments of Quantum Circuits (abstract) 30 min
Colin BLAKE1
1 INRIA, LORIA, Université de Lorraine
15:00-15:30
Graphical Symplectic Algebra (abstract) 30 min
Robert I. Booth1, Titouan Carette2, Cole Comfort3
1 University of Oxford
2 LIX, CNRS, École polytechnique, Institut Polytechnique de Paris
3 Université Paris-Saclay
15:30-16:00 Coffee Break FSCD
Location: One03
16:00-17:30 Categorical Models FSCD
Session Chair:
Takeshi Tsukada
Location: One03
16:00-16:30
Proof Identity and Categorical Models of BV (abstract) 30 min
Matteo Acclavio1, Lutz Strassburger2, Vladimir Zamdzhiev3
1 University of Southern Denmark
2 INRIA Saclay
3 Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles
16:30-17:00
Relational Dualities and Bisimulation (abstract) 30 min
Piotr Kozicki1, G. A. Kavvos1
1 University of Bristol
17:00-17:30
The Universal Property of Petri Net Unfoldings (abstract) 30 min
Serge Lechenne1, Hugo Paquet1
1 Inria, École Normale Supérieure
17:30-18:00 End of Conference FSCD
Location: One03
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑