PROGRAM
Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th Saturday, July 19th Sunday, July 20th
Monday, July 14th
View this program: with abstractssession overviewtalk overview
09:00-17:15 Session 1A: International Workshop on Unification (UNIF 2025)
The programme can be found here.
Location: Corelli-Lodge Room
09:00-17:30 Session 1B: Higher-Order Rewriting (HOR 2025)
The programme can be found here.
Location: MacNeice Room
09:00-18:00 Session 1C: Women in Logic (WiL 2025)
The programme can be found here.
Location: Pevsner Room
Tuesday, July 15th
View this program: with abstractssession overviewtalk overview
08:00-08:55 Registration
Location: Entrance Lobby
08:55-09:00 Welcome
Location: Fry Suite
09:00-10:00 Session 2: Invited Talk: Mariangiola Dezani-Ciancaglini - Unsolvable Terms in Filter Models
Chair:
Location: Fry Suite
10:00-10:30Coffee Break
10:30-12:30 Session 3: Unification, Matching, Generalisation
Chair:
Location: Fry Suite
| 10:30 | Mechanized Undecidability of Higher-order beta-Matching (abstract) |
| 11:00 | Combining Generalization Algorithms in Regular Collapse-Free Theories (abstract) PRESENTER: Christophe Ringeissen |
| 11:30 | The Unification Type of an Equational Theory May Depend on the Instantiation Preorder (abstract) PRESENTER: Franz Baader |
| 12:00 | Knowledge Problems vs Unification and Matching: Dichotomy Results (abstract) PRESENTER: Christophe Ringeissen |
12:30-14:00Lunch Break
14:00-15:30 Session 4: Types
Chair:
Location: Fry Suite
| 14:00 | Coherent Tietze transformations of 1-polygraphs in homotopy type theory (abstract) PRESENTER: Samuel Mimram |
| 14:30 | Impredicative Encodings of Inductive and Coinductive Types (abstract) PRESENTER: Niels van der Weide |
| 15:00 | Substructural Parametricity (abstract) PRESENTER: Frank Pfenning |
15:30-16:00Coffee Break
16:00-17:00 Session 5: Concurrency Models
Chair:
Location: Fry Suite
| 16:00 | Categorical Continuation Semantics for Concurrency (abstract) PRESENTER: Hugo Paquet |
| 16:30 | Higher-Dimensional Automata : Extension to Infinite Tracks (abstract) PRESENTER: Luc Passemard |
18:00-19:00 Welcome Reception at The Exchange
There will be a short welcome reception at The Exchange in city centre. Details are here: https://fscd2025.github.io/social.htm
Wednesday, July 16th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 6: Invited Talk: Jose Meseguer - Symbolic Computation and Verification Methods in Maude
Chair:
Location: Fry Suite
10:00-10:30Coffee Break
10:30-12:30 Session 7: Lambda Calculus
Location: Fry Suite
| 10:30 | Grading call-by-push-value, explicitly and implicitly (abstract) |
| 11:00 | The Cost of Skeletal Call-by-Need, Smoothly (abstract) PRESENTER: Francesco Magliocca |
| 11:30 | Quantitative Types for the Functional Machine Calculus (abstract) |
| 12:00 | What does it take to certify a conversion checker? (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 8: Rewriting
Chair:
Location: Fry Suite
| 14:00 | Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems (abstract) PRESENTER: Emma Ahrens |
| 14:30 | An Innermost DP Framework for Constrained Higher-Order Rewriting (abstract) PRESENTER: Carsten Fuhs |
| 15:00 | Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 9: Complexity
Chair:
Location: Fry Suite
| 16:00 | Unifying Algebraic and Boolean Descriptive Complexity (abstract) PRESENTER: Damiano Mazza |
| 16:30 | Branch Sequentialization in Quantum Polytime (abstract) PRESENTER: Mário Silva |
Thursday, July 17th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 10: Invited Talk: Liron Cohen - Rebuilding Constructivism with Effects
Chair:
Location: Fry Suite
10:00-10:30Coffee Break
10:30-12:30 Session 11: Program Analysis
Chair:
Location: Fry Suite
| 10:30 | A Zoo of Continuity Properties in Constructive Type Theory (abstract) PRESENTER: Martin Baillon |
| 11:00 | On the Metric Nature of (Differential) Logical Relations (abstract) PRESENTER: Naohiko Hoshino |
| 11:30 | Internal Effectful Forcing in System T (abstract) PRESENTER: Bruno da Rocha Paiva |
| 12:00 | An Expressive Trace Logic for Recursive Programs (abstract) PRESENTER: Reiner Hähnle |
12:30-14:00Lunch Break
16:00-23:15 Excursion and Banquet at Warwick Castle
There will be an excursion to Warwick Castle, followed by a banquet dinner there too. Details are here: https://fscd2025.github.io/social.htm
Friday, July 18th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 13: Invited Talk: Ekaterina Komendantskaya - Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Chair:
Location: Fry Suite
10:00-10:30Coffee Break
10:30-12:30 Session 14: Linear Logic
Chair:
Location: Fry Suite
| 10:30 | Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic (abstract) PRESENTER: Rémi Di Guardia |
| 11:00 | Linear logic using negative connectives (abstract) |
| 11:30 | Functorial Models of Differential Linear Logic (abstract) PRESENTER: Morgan Rogers |
| 12:00 | Ohana trees and Taylor expansion for the λI-calculus (abstract) PRESENTER: Rémy Cerda |
12:30-14:00Lunch Break
14:00-15:30 Session 15: Algebraic and Categorical Models
Chair:
Location: Fry Suite
| 14:00 | From Partial to Monadic: Combinatory Algebra with Effects (abstract) PRESENTER: Ariel Grunfeld |
| 14:30 | ∞-categorical models of linear logic (abstract) PRESENTER: Elies Harington |
| 15:00 | Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It (abstract) PRESENTER: Sergei Stepanenko |
15:30-16:00Coffee Break
16:00-17:00 Session 16: Logic
Chair:
Location: Fry Suite
| 16:00 | Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation (abstract) |
| 16:30 | Monad Translations for Higher-Order Logic (abstract) |
Saturday, July 19th
View this program: with abstractssession overviewtalk overview
09:00-17:00 Session 17A: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)
The programme can be found here.
Location: Corelli Room
09:00-17:30 Session 17B: IFIP Working Group 1.6: Rewriting
The programme can be found here.
Location: MacNeice Room
09:00-17:20 Session 17C: International Workshop on Trends in Linear Logic and Applications (TLLA 2025, Day 1)
The programme can be found here.
Location: Pevsner Room
09:00-15:30 Session 17D: Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 1)
The programme can be found here.
Location: Elgar-Bantock Room
Sunday, July 20th
View this program: with abstractssession overviewtalk overview
09:00-17:30 Session 18A: International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)
The programme can be found here.
Location: Corelli Room
09:00-17:20 Session 18B: International Workshop on Trends in Linear Logic and Applications (TLLA 2025, Day 2)
The programme can be found here.
Location: Pevsner Room
09:00-12:00 Session 18C: Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 2)
The programme can be found here.
Location: Elgar-Bantock Room