Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th Saturday, July 19th Sunday, July 20th
View this program: with abstractssession overviewtalk overview
The programme can be found here.
The programme can be found here.
The programme can be found here.
View this program: with abstractssession overviewtalk overview
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 |
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 |
16:00 | Categorical Continuation Semantics for Concurrency (abstract) PRESENTER: Hugo Paquet |
16:30 | Higher-Dimensional Automata : Extension to Infinite Tracks (abstract) PRESENTER: Luc Passemard |
There will be a short welcome reception at The Exchange in city centre. Details are here: https://fscd2025.github.io/social.htm
View this program: with abstractssession overviewtalk overview
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) |
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) |
16:00 | Unifying Algebraic and Boolean Descriptive Complexity (abstract) PRESENTER: Damiano Mazza |
16:30 | Branch Sequentialization in Quantum Polytime (abstract) PRESENTER: Mário Silva |
View this program: with abstractssession overviewtalk overview
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 |
There will be an excursion to Warwick Castle, followed by a banquet dinner there too. Details are here: https://fscd2025.github.io/social.htm
View this program: with abstractssession overviewtalk overview
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 |
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 |
16:00 | Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation (abstract) |
16:30 | Monad Translations for Higher-Order Logic (abstract) |
View this program: with abstractssession overviewtalk overview
The programme can be found here.
The programme can be found here.
The programme can be found here.
The programme can be found here.
View this program: with abstractssession overviewtalk overview
The programme can be found here.
The programme can be found here.
The programme can be found here.