FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION

A
Aberlé, C. B.	Substructural Parametricity
Accattoli, Beniamino	The Cost of Skeletal Call-by-Need, Smoothly
Ahrens, Emma	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Amrane, Amazigh	Higher-Dimensional Automata : Extension to Infinite Tracks
Ayala-Rincón, Mauricio	Combining Generalization Algorithms in Regular Collapse-Free Theories
B
Baader, Franz	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Baillon, Martin	A Zoo of Continuity Properties in Constructive Type Theory
Breuvart, Flavien	Categorical Continuation Semantics for Concurrency
Bronsveld, Steven	Impredicative Encodings of Inductive and Coinductive Types
C
Cerda, Rémy	Ohana trees and Taylor expansion for the λI-calculus
Cerna, David	Combining Generalization Algorithms in Regular Collapse-Free Theories
Chanus, Bapstiste	Unifying Algebraic and Boolean Descriptive Complexity
Cohen, Liron	From Partial to Monadic: Combinatory Algebra with Effects
Crary, Karl	Substructural Parametricity
D
da Rocha Paiva, Bruno	Internal Effectful Forcing in System T
Dal Lago, Ugo	On the Metric Nature of (Differential) Logical Relations
Di Guardia, Rémi	Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Dudenhefner, Andrej	Mechanized Undecidability of Higher-order beta-Matching
E
Erbatur, Serdar	Knowledge Problems vs Unification and Matching: Dichotomy Results
Escardó, Martín	Internal Effectful Forcing in System T
F
Fahrenberg, Uli	Higher-Dimensional Automata : Extension to Infinite Tracks
Fernández Gil, Oliver	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Forster, Yannick	A Zoo of Continuity Properties in Constructive Type Theory
Fuhs, Carsten	An Innermost DP Framework for Constrained Higher-order Rewriting
G
Geuvers, Herman	Impredicative Encodings of Inductive and Coinductive Types
Giesl, Jürgen	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Grunfeld, Ariel	From Partial to Monadic: Combinatory Algebra with Effects
Guo, Liye	An Innermost DP Framework for Constrained Higher-order Rewriting
Gurov, Dilian	An Expressive Trace Logic for Recursive Programs
H
Hainry, Emmanuel	Branch Sequentialization in Quantum Polytime
Harington, Elies	∞-categorical models of linear logic
Heijltjes, Willem	Quantitative Types for the Functional Machine Calculus
Hoshino, Naohiko	On the Metric Nature of (Differential) Logical Relations
Hähnle, Reiner	An Expressive Trace Logic for Recursive Programs
I
Ivanov, Ievgen	Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality
K
Kassing, Jan-Christoph	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Katoen, Joost-Pieter	Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Kerjean, Marie	Functorial Models of Differential Linear Logic
Kirst, Dominik	From Partial to Monadic: Combinatory Algebra with Effects
Kop, Cynthia	An Innermost DP Framework for Constrained Higher-order Rewriting
Kutsia, Temur	Combining Generalization Algorithms in Regular Collapse-Free Theories
L
Laurent, Olivier	Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Lennon-Bertrand, Meven	What does it take to certify a conversion checker?
M
Maestracci, Valentin	Functorial Models of Differential Linear Logic
Magliocca, Francesco	The Cost of Skeletal Call-by-Need, Smoothly
Mahboubi, Assia	A Zoo of Continuity Properties in Constructive Type Theory
Manzonetto, Giulio	Ohana trees and Taylor expansion for the λI-calculus
Marshall, Andrew M.	Knowledge Problems vs Unification and Matching: Dichotomy Results
Martens, Chris	Substructural Parametricity
Mazza, Damiano	Unifying Algebraic and Boolean Descriptive Complexity
McDermott, Dylan	Grading call-by-push-value, explicitly and implicitly
Miller, Dale	Linear logic using negative connectives
Mimram, Samuel	Coherent Tietze transformations of 1-polygraphs in homotopy type theory ∞-categorical models of linear logic
Miquey, Étienne	From Partial to Monadic: Combinatory Algebra with Effects
N
Narendran, Paliath	Knowledge Problems vs Unification and Matching: Dichotomy Results
O
Oleon, Emile	Coherent Tietze transformations of 1-polygraphs in homotopy type theory
P
Paquet, Hugo	Categorical Continuation Semantics for Concurrency
Passemard, Luc	Higher-Dimensional Automata : Extension to Infinite Tracks
Peyrot, Loïc	The Cost of Skeletal Call-by-Need, Smoothly
Pfenning, Frank	Substructural Parametricity
Piquerez, Matthieu	A Zoo of Continuity Properties in Constructive Type Theory
Pistone, Paolo	On the Metric Nature of (Differential) Logical Relations
Péchoux, Romain	Branch Sequentialization in Quantum Polytime
Pédrot, Pierre-Marie	A Zoo of Continuity Properties in Constructive Type Theory
R
Rahli, Vincent	Internal Effectful Forcing in System T
Ringeissen, Christophe	Combining Generalization Algorithms in Regular Collapse-Free Theories Knowledge Problems vs Unification and Matching: Dichotomy Results
Rogers, Morgan	Functorial Models of Differential Linear Logic Unifying Algebraic and Boolean Descriptive Complexity
S
Sacerdoti Coen, Claudio	The Cost of Skeletal Call-by-Need, Smoothly
Saurin, Alexis	Ohana trees and Taylor expansion for the λI-calculus Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation
Silva, Mário	Branch Sequentialization in Quantum Polytime
Stepanenko, Sergei	Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It
T
Tate, Ross	From Partial to Monadic: Combinatory Algebra with Effects
Timany, Amin	Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It
Tortora De Falco, Lorenzo	Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Tosun, Ayberk	Internal Effectful Forcing in System T
Traversié, Thomas	Monad Translations for Higher-Order Logic
V
van der Weide, Niels	Impredicative Encodings of Inductive and Coinductive Types
Vaux Auclair, Lionel	Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic

Disclaimer | Powered by EasyChair Smart Program