FSCD PROGRAM
Days: Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th
Tuesday, August 2nd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-09:15 Session 44C: Opening Remarks and Presentation of Best Paper Award by Junior Researchers
Chair:
09:15-10:15 Session 45A: FSCD Invited Speaker
Chair:
| 09:15 | Cutting a Proof into Bite-Sized Chunks: Incrementally Proving Termination in Higher-Order Term Rewriting |
10:30-11:00Coffee Break
11:10-12:10 Session 48: Keynote
Chair:
Location: Churchill Auditorium
| 11:10 | Information Structures for Privacy and Fairness (abstract) |
12:30-14:00Lunch Break
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
14:00-15:30 Session 50C: Semantics
Chair:
| 14:00 | A Fibrational Tale of Operational Logical Relations (abstract)  PRESENTER: Francesco Dagnino |
| 14:30 | On Quantitative Algebraic Higher-Order Theories (abstract) PRESENTER: Paolo Pistone |
| 15:00 | Sheaf semantics of termination-insensitive noninterference (abstract) PRESENTER: Jonathan Sterling |
15:30-16:00Coffee Break
16:00-17:30 Session 54C: Unification and Matching
Chair:
| 16:00 | Combined Hierarchical Matching: The Regular Case (abstract) PRESENTER: Christophe Ringeissen |
| 16:30 | Nominal Anti-Unification with Atom-Variables (abstract) PRESENTER: Manfred Schmidt-Schauss |
| 17:00 | A Certified Algorithm for AC-Unification (abstract) PRESENTER: Daniele Nantes-Sobrinho |
17:30-18:30 Session 55: Logic Lounge
Chair:
Location: Churchill Auditorium
| 17:30 | Thinking Fast and Slow in AI (abstract) |
Wednesday, August 3rd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 56B: Type Theory and Formalization
Chair:
| 09:00 | An Analysis of Tennenbaum's Theorem in Constructive Type Theory (abstract) PRESENTER: Marc Hermes |
| 09:30 | Constructing Unprejudiced Extensional Type Theories with Choices via Modalities (abstract) PRESENTER: Vincent Rahli |
| 10:00 | Division by two, in homotopy type theory (abstract) PRESENTER: Samuel Mimram |
10:30-11:00Coffee Break
11:00-12:30 Session 58C: Applications: Concurrency, Quantum Computation
Chair:
| 11:00 | Type-Based Termination for Futures (abstract)  PRESENTER: Siva Somayyajula |
| 11:30 | Addition and differentiation of ZX-diagrams (abstract) PRESENTER: Margarita Veshchezerova |
12:30-14:00Lunch Break
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
14:00-15:30 Session 59B: Automata and Computability
Chair:
| 14:00 | Restricting tree grammars with term rewriting (abstract) PRESENTER: Felix Laarmann |
| 14:30 | On Lookaheads in Regular Expressions with Backreferences (abstract) PRESENTER: Nariyoshi Chida |
| 15:00 | Certified Decision Procedures for Two-Counter Machines (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 61B: Lambda Calculus and Normalization/Reduction
Chair:
| 16:00 | Strategies for Asymptotic Normalization (abstract) PRESENTER: Giulio Guerrieri |
| 16:30 | Solvability for Generalized Applications (abstract) PRESENTER: Loïc Peyrot |
| 17:00 | Normalization without syntax (abstract) PRESENTER: Willem Heijltjes |
18:30-20:30 Walking tour (at Haifa)
pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
Thursday, August 4th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 63C: Proof Theory and Linear Logic
Chair:
| 09:00 | Decision problems for linear logic with least and greatest fixed points (abstract) PRESENTER: Abhishek De |
| 09:30 | Linear lambda-calculus is linear (abstract) PRESENTER: Gilles Dowek |
| 10:00 | A Graphical Proof Theory of Logical Time (abstract) PRESENTER: Matteo Acclavio |
10:30-11:00Coffee Break
11:00-12:30 Session 65C: Type Theory and Logical Frameworks
Chair:
| 11:00 | A stratified approach to Lob induction (abstract) PRESENTER: Daniel Gratzer |
| 11:30 | Encoding type universes without using matching modulo associativity and commutativity (abstract) |
| 12:00 | Adequate and computational encodings in the logical framework Dedukti (abstract) |
12:30-14:00Lunch Break
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
14:00-15:00 Session 67C: FSCD Invited Speaker
Chair:
| 14:00 | A Methodology for Designing Proof Search Calculi for Non-Classical Logics |
15:00-15:30 Session 69A: Complexity Theory and Logic
Chair:
| 15:00 | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity (abstract) PRESENTER: Thomas Seiller |
15:30-16:00Coffee Break
16:00-17:00 Session 70: Plenary
Chair:
Location: Churchill Auditorium
| 16:00 | Complexity Measures for Reactive Systems (abstract) |
Friday, August 5th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 76C: Rewriting
Chair:
| 11:00 | Polynomial Termination over N is Undecidable (abstract) PRESENTER: Fabian Mitterwallner |
| 11:30 | Compositional Confluence Criteria (abstract) PRESENTER: Nao Hirokawa |
| 12:00 | Rewriting for monoidal closed categories (abstract) PRESENTER: David Sprunger |
12:30-14:00Lunch Break
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
14:00-15:30 Session 78A: Categorical Semantics
Chair:
| 14:00 | Stateful Structural Operational Semantics (abstract) PRESENTER: Henning Urbat |
| 14:30 | A combinatorial approach to higher-order structure for polynomial functors (abstract) PRESENTER: Hugo Paquet |
| 15:00 | Galois connecting call-by-value and call-by-name (abstract) PRESENTER: Dylan McDermott |
15:30-16:00Coffee Break