FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
HOR PROGRAM
Saturday, July 7th

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

09:00-10:00 Session 23E: Invited talk: Naoki Kobayashi
Chair:
Stefano Guerrini
Location: Maths Seminar C5
09:00
Naoki Kobayashi
On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification (abstract)
10:00-10:30 Session 25
Chair:
Stefano Guerrini
Location: Maths Seminar C5
10:00
Maciej Bendkowski and Pierre Lescanne
Combinatorics of explicit substitutions (extended abstract) (abstract)
10:30-11:00Coffee Break
11:00-12:00 Session 26E: Invited talk: Pierre Vial
Chair:
Femke van Raamsdonk
Location: Maths Seminar C5
11:00
Pierre Vial
Some applications of quantitative types inside and outside type theory (abstract)
12:00-12:30 Session 27
Chair:
Femke van Raamsdonk
Location: Maths Seminar C5
12:00
Connor Smith
Orthogonality and sequentiality in substructural Linear HRSs (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 28E: Invited talk: Cynthia Kop
Chair:
Delia Kesner
Location: Maths Seminar C5
14:00
Cynthia Kop
Wanda: a higher-order termination tool (abstract)
15:00-15:30 Session 30B
Chair:
Delia Kesner
Location: Maths Seminar C5
15:00
Flavien Breuvart
Refining Properties of Filter Models: Sensibility, Approximability and Reducibility (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 31E
Chair:
Stefano Guerrini
Location: Maths Seminar C5
16:00
Federico Olimpieri
Normalization and Taylor expansion of lambda-terms (abstract)
16:30
Damiano Mazza and Domenico Ruoppolo
The next 700 (type-theoretical) denotational models ? (abstract)
17:00-18:00 Session 32B: Special session in honour of Kris Rose
Chair:
Stefano Guerrini
Location: Maths Seminar C5
19:45-22:00 Workshops dinner at Balliol College

Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).

Location: Balliol College