Days: Monday, July 9th Tuesday, July 10th Wednesday, July 11th Thursday, July 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | Continuous Reasoning: Scaling the Impact of Formal Methods (abstract) |
11:00 | Proof nets for bi-intuitionistic linear logic (abstract) |
11:30 | Unique perfect matchings and proof nets (abstract) |
12:00 | Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories (abstract) |
14:00 | Challenges in quantum programming languages (abstract) |
15:00 | A diagrammatic axiomatisation of fermionic quantum circuits (abstract) |
16:00 | ALGORAND A Truly Distributed Ledger (abstract) |
17:00 | Corrado Böhm: the white magician in programming and its semantics (abstract) |
FLoC reception at Ashmolean Museum. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | Call-by-name Gradual Type Theory (abstract) |
09:30 | The clocks they are adjunctions. Denotational semantics for Clocked Type Theory (abstract) |
10:00 | Internal Universes in Models of Homotopy Type Theory (abstract) |
11:00 | A Unifying Framework for Type Inhabitation (abstract) |
11:30 | Cumulative Inductive Types in Coq (abstract) |
12:00 | Index-Stratified Types (abstract) |
14:00 | Proof techniques for program equivalence in probabilistic higher-order languages (abstract) |
15:00 | A Syntax for Higher Inductive-Inductive Types (abstract) |
15:40 | Counting Environments and Closures (abstract) |
16:10 | Term rewriting characterisation of LOGSPACE for finite and infinite data (abstract) |
Doors open at 4:30 pm; please be seated by 4:50 pm (attendance is free of charge and all are welcome; please register).
17:00 | Unifying Logic and Probability: the BLOG Language (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | On repetitive right application of B-terms (abstract) |
09:30 | Homogeneity without Loss of Generality (abstract) |
10:00 | Strict Ideal Completions of the Lambda Calculus (abstract) |
11:00 | Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (abstract) |
11:30 | Completion for Logically Constrained Rewriting (abstract) |
12:00 | Completeness of Tree Automata Completion (abstract) |
14:00 | Pseudo deterministic algorithms and proofs (abstract) |
16:00 | Formal Design, Implementation and Verification of Blockchain Languages (abstract) |
FLoC banquet at Examination Schools. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00 | Analysing privacy-type properties in cryptographic protocols (abstract) |
10:00 | Term-Graph Anti-Unification (abstract) |
11:00 | Fixed-Point Constraints for Nominal Equational Unification (abstract) |
11:30 | Higher-Order Equational Pattern Anti-Unification (abstract) |
12:00 | Nominal Unification with Atom and Context Variables (abstract) |
AGENDA of FSCD18 General Meeting
- Welcome by Steering Committee Chair, Luke Ong
- Report of FSCD18 PC Chair, Helene Kirchner
- Report of FSCD18 Conference Chair, Paula Severi
- Progress Report of FSCD19 - PC Chair: Herman Geuvers - Conference Chair: Jakob Rehof
- Election of two Steering Committee members
- Proposal to host FSCD20 (colocating with IJCAR2020) in Paris: Stefano Guerrini and Giulio Manzonetto
- AOB
- Handover to new SC Chair (2018-2021), Delia Kesner.
15:00 | ProTeM: A Proof Term Manipulator (abstract) |
16:00 | Confluence Competition 2018 (abstract) |
16:30 | Decreasing diagrams with two labels are complete for confluence of countable systems (abstract) |
17:00 | Confluence of Prefix-Constrained Rewrite Systems (abstract) |
17:30 | Coherence of Gray categories via rewriting (abstract) |