FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FSCD PROGRAM

Days: Monday, July 9th Tuesday, July 10th Wednesday, July 11th Thursday, July 12th

Monday, July 9th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 46: FLoC Plenary Lecture: Peter O'Hearn
Chair:
Prakash Panangaden
Location: Maths LT1
09:00
Peter O'Hearn
Continuous Reasoning: Scaling the Impact of Formal Methods (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 47B: Linear Logic
Chair:
Masahito Hasegawa
Location: Blavatnik Seminar Rooms 3 & 4
11:00
Willem Heijltjes and Gianluigi Bellin
Proof nets for bi-intuitionistic linear logic (abstract)
11:30
Lê Thành Dũng Nguyễn
Unique perfect matchings and proof nets (abstract)
12:00
Jean-Simon Lemay
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 49B: FSCD Invited talk: Peter Selinger
Chair:
Ugo Dal Lago
Location: Blavatnik Seminar Rooms 3 & 4
14:00
Peter Selinger
Challenges in quantum programming languages (abstract)
15:00-15:30 Session 50B: Quantum Computing
Chair:
Ugo Dal Lago
Location: Blavatnik Seminar Rooms 3 & 4
15:00
Amar Hadzihasanovic, Giovanni de Felice and Kang Feng Ng
A diagrammatic axiomatisation of fermionic quantum circuits (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 51B: Corrado Böhm Memorial
Chair:
Mariangiola Dezani
Location: Blavatnik Seminar Rooms 3 & 4
16:00
Silvio Micali
ALGORAND A Truly Distributed Ledger (abstract)
17:00
Henk Barendregt
Corrado Böhm: the white magician in programming and its semantics (abstract)
19:00-21:30 FLoC reception at Ashmolean Museum

FLoC reception at Ashmolean Museum. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Location: Ashmolean Museum
Tuesday, July 10th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 52B: Types
Chair:
Nicolas Tabareau
Location: Blavatnik Seminar Rooms 3 & 4
09:00
Max New and Daniel Licata
Call-by-name Gradual Type Theory (abstract)
09:30
Bassel Mannaa and Rasmus Møgelberg
The clocks they are adjunctions. Denotational semantics for Clocked Type Theory (abstract)
10:00
Daniel R. Licata, Ian Orton, Andrew M. Pitts and Bas Spitters
Internal Universes in Models of Homotopy Type Theory (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 54B: Types
Chair:
Paula Severi
Location: Blavatnik Seminar Rooms 3 & 4
11:00
Sandra Alves and Sabine Broda
A Unifying Framework for Type Inhabitation (abstract)
11:30
Amin Timany and Matthieu Sozeau
Cumulative Inductive Types in Coq (abstract)
12:00
Rohan Jacob-Rao, Brigitte Pientka and David Thibodeau
Index-Stratified Types (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 55B: FSCD Invited talk: Valeria Vignudelli
Chair:
Paul Blain Levy
Location: Blavatnik Seminar Rooms 3 & 4
14:00
Valeria Vignudelli
Proof techniques for program equivalence in probabilistic higher-order languages (abstract)
15:00-15:30 Session 56: Types
Chair:
Paul Blain Levy
Location: Blavatnik Seminar Rooms 3 & 4
15:00
Ambrus Kaposi and András Kovács
A Syntax for Higher Inductive-Inductive Types (abstract)
15:30-16:00Coffee Break
15:40-16:40 Session 57A: Complexity
Chair:
Femke van Raamsdonk
Location: Blavatnik Seminar Rooms 3 & 4
15:40
Maciej Bendkowski and Pierre Lescanne
Counting Environments and Closures (abstract)
16:10
Łukasz Czajka
Term rewriting characterisation of LOGSPACE for finite and infinite data (abstract)
17:00-18:30 Session 59: FLoC Public Lecture: Stuart Russell

Doors open at 4:30 pm; please be seated by 4:50 pm (attendance is free of charge and all are welcome; please register).

Chair:
Michael Wooldridge
Location: Sheldonian Theatre
17:00
Stuart Russell
Unifying Logic and Probability: the BLOG Language (abstract)
Wednesday, July 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 60C: Lambda Calculus
Chair:
Alexandre Miquel
Location: Blavatnik Seminar Rooms 3 & 4
09:00
Mirai Ikebuchi and Keisuke Nakano
On repetitive right application of B-terms (abstract)
09:30
Paweł Parys
Homogeneity without Loss of Generality (abstract)
10:00
Patrick Bahr
Strict Ideal Completions of the Lambda Calculus (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 64B: Rewriting
Chair:
Rene Thiemann
Location: Blavatnik Seminar Rooms 3 & 4
11:00
Naoki Nishida and Yuya Maeda
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (abstract)
11:30
Sarah Winkler and Aart Middeldorp
Completion for Logically Constrained Rewriting (abstract)
12:00
Thomas Genet
Completeness of Tree Automata Completion (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 66A: FLoC Keynote Lecture: Shafi Goldwasser
Chair:
Moshe Vardi
Location: Maths LT1
14:00
Shafi Goldwasser
Pseudo deterministic algorithms and proofs (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 67B: FSCD Invited talk: Grigore Rosu
Chair:
Helene Kirchner
Location: Blavatnik Seminar Rooms 3 & 4
16:00
Grigore Rosu
Formal Design, Implementation and Verification of Blockchain Languages (abstract)
19:00-21:30 FLoC banquet at Examination Schools

FLoC banquet at Examination Schools. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Location: Examination Schools
Thursday, July 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 70B: FSCD Invited talk: Stéphanie Delaune
Chair:
Cláudia Nalon
Location: Blavatnik Seminar Rooms 3 & 4
09:00
Stephanie Delaune
Analysing privacy-type properties in cryptographic protocols (abstract)
10:00-10:30 Session 72: Unification
Chair:
Cláudia Nalon
Location: Blavatnik Seminar Rooms 3 & 4
10:00
Alexander Baumgartner, Temur Kutsia, Jordi Levy and Mateu Villaret
Term-Graph Anti-Unification (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 74B: Unification
Chair:
Takahito Aoto
Location: Blavatnik Seminar Rooms 3 & 4
11:00
Mauricio Ayala-Rincon, Maribel Fernandez and Daniele Nantes-Sobrinho
Fixed-Point Constraints for Nominal Equational Unification (abstract)
11:30
David Cerna and Temur Kutsia
Higher-Order Equational Pattern Anti-Unification (abstract)
12:00
Manfred Schmidt-Schauss and David Sabel
Nominal Unification with Atom and Context Variables (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 76C: FSCD General Meeting

AGENDA of FSCD18 General Meeting

  1. Welcome by Steering Committee Chair, Luke Ong
  2. Report of FSCD18 PC Chair, Helene Kirchner
  3. Report of FSCD18 Conference Chair, Paula Severi
  4. Progress Report of FSCD19 - PC Chair: Herman Geuvers - Conference Chair: Jakob Rehof
  5. Election of two Steering Committee members
  6. Proposal to host FSCD20 (colocating with IJCAR2020) in Paris: Stefano Guerrini and Giulio Manzonetto
  7. AOB
  8. Handover to new SC Chair (2018-2021), Delia Kesner.
Chair:
Luke Ong
Location: Blavatnik Seminar Rooms 3 & 4
15:00-15:30 Session 77A: System presentation
Chair:
Helene Kirchner
Location: Blavatnik Seminar Rooms 3 & 4
15:00
Christina Kohl and Aart Middeldorp
ProTeM: A Proof Term Manipulator (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 78A: Confluence Competition presentation
Chair:
Helene Kirchner
Location: Blavatnik Seminar Rooms 3 & 4
16:00
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani and Harald Zankl
Confluence Competition 2018 (abstract)
16:30-17:30 Session 80: Confluence
Chair:
Sandra Alves
Location: Blavatnik Seminar Rooms 3 & 4
16:30
Joerg Endrullis, Jan Willem Klop and Roy Overbeek
Decreasing diagrams with two labels are complete for confluence of countable systems (abstract)
17:00
Andrianarivelo Nirina and Pierre Rety
Confluence of Prefix-Constrained Rewrite Systems (abstract)
17:30-18:00 Session 82: Rewriting
Chair:
Sandra Alves
Location: Blavatnik Seminar Rooms 3 & 4
17:30
Simon Forest and Samuel Mimram
Coherence of Gray categories via rewriting (abstract)