LIPIcs, Volume 299, FSCD 2024

• Jakob Rehof LIPIcs, Volume 299, FSCD 2024, Complete Volume 10.4230/LIPIcs.FSCD.2024
• Jakob Rehof Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.FSCD.2024.0
• Delia Kesner, Victor Arrial, and Giulio Guerrieri Meaningfulness and Genericity in a Subsuming Framework (Invited Talk) 10.4230/LIPIcs.FSCD.2024.1
• Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik Abstraction-Based Decision Making for Statistical Properties (Invited Talk) 10.4230/LIPIcs.FSCD.2024.2
• Sebastian Ullrich Lean: Past, Present, and Future (Invited Talk) 10.4230/LIPIcs.FSCD.2024.3
• Niels van der Weide Univalent Enriched Categories and the Enriched Rezk Completion 10.4230/LIPIcs.FSCD.2024.4
• Pablo Donato The Flower Calculus 10.4230/LIPIcs.FSCD.2024.5
• Camil Champin, Samuel Mimram, and Émile Oleon Delooping Generated Groups in Homotopy Type Theory 10.4230/LIPIcs.FSCD.2024.6
• Benoît Guillemet, Assia Mahboubi, and Matthieu Piquerez Machine-Checked Categorical Diagrammatic Reasoning 10.4230/LIPIcs.FSCD.2024.7
• Andrej Dudenhefner and Daniele Pautasso Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions 10.4230/LIPIcs.FSCD.2024.8
• Marie Kerjean and Jean-Simon Pacaud Lemay Laplace Distributors and Laplace Transformations for Differential Categories 10.4230/LIPIcs.FSCD.2024.9
• Ambrus Kaposi and Szumi Xie Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics 10.4230/LIPIcs.FSCD.2024.10
• Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, and Alan Schmitt Optimizing a Non-Deterministic Abstract Machine with Environments 10.4230/LIPIcs.FSCD.2024.11
• Victor Sannier and Patrick Baillot A Linear Type System for L^p-Metric Sensitivity Analysis 10.4230/LIPIcs.FSCD.2024.12
• Teppei Saito and Nao Hirokawa Simulating Dependency Pairs by Semantic Labeling 10.4230/LIPIcs.FSCD.2024.13
• G. A. Kavvos Two-Dimensional Kripke Semantics I: Presheaves 10.4230/LIPIcs.FSCD.2024.14
• Junyoung Jang, Sophia Roshal, Frank Pfenning, and Brigitte Pientka Adjoint Natural Deduction 10.4230/LIPIcs.FSCD.2024.15
• Franz Baader and Jürgen Giesl On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems 10.4230/LIPIcs.FSCD.2024.16
• Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, and Fabio Zanasi A Categorical Approach to DIBI Models 10.4230/LIPIcs.FSCD.2024.17
• Sohei Ito and Makoto Tatsuta Representation of Peano Arithmetic in Separation Logic 10.4230/LIPIcs.FSCD.2024.18
• Kostia Chardonnet, Louis Lemonnier, and Benoît Valiron Semantics for a Turing-Complete Reversible Programming Language with Inductive Types 10.4230/LIPIcs.FSCD.2024.19
• Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, and Fabio Zanasi On Iteration in Discrete Probabilistic Programming 10.4230/LIPIcs.FSCD.2024.20
• Thiago Felicissimo and Théo Winterhalter Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti 10.4230/LIPIcs.FSCD.2024.21
• Maximilian Doré, Evan Cavallo, and Anders Mörtberg Automating Boundary Filling in Cubical Agda 10.4230/LIPIcs.FSCD.2024.22
• Beniamino Accattoli and Adrienne Lancelot Mirroring Call-By-Need, or Values Acting Silly 10.4230/LIPIcs.FSCD.2024.23
• Beniamino Accattoli and Claudio Sacerdoti Coen IMELL Cut Elimination with Linear Overhead 10.4230/LIPIcs.FSCD.2024.24
• Ralph Matthes, Kobe Wullaert, and Benedikt Ahrens Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories 10.4230/LIPIcs.FSCD.2024.25
• Hugo Herbelin and Jad Koleilat On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles 10.4230/LIPIcs.FSCD.2024.26
• René Thiemann and Akihisa Yamada A Verified Algorithm for Deciding Pattern Completeness 10.4230/LIPIcs.FSCD.2024.27
• Samson Abramsky, Şerban-Ion Cercelescu, and Carmen-Maria Constantin Commutation Groups and State-Independent Contextuality 10.4230/LIPIcs.FSCD.2024.28
• Aloÿs Dufour and Damiano Mazza Böhm and Taylor for All! 10.4230/LIPIcs.FSCD.2024.29
• Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, and Jamie Vicary homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories 10.4230/LIPIcs.FSCD.2024.30
• Takahito Aoto, Naoki Nishida, and Jonas Schöpf Equational Theories and Validity for Logically Constrained Term Rewriting 10.4230/LIPIcs.FSCD.2024.31
• Salvador Lucas Termination of Generalized Term Rewriting Systems 10.4230/LIPIcs.FSCD.2024.32
• Mateus de Oliveira Oliveira and Farhad Vadiee State Canonization and Early Pruning in Width-Based Automated Theorem Proving 10.4230/LIPIcs.FSCD.2024.33