FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
DOMAINS13 PROGRAM

Days: Saturday, July 7th Sunday, July 8th

Saturday, July 7th

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

09:00-10:30 Session 23B
Location: Maths LT1
09:00
Invited Talk: Looking Backward; Looking Forward (abstract)
10:00
A Brouwerian proof of the Fan Theorem (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26B
Chair:
Location: Maths LT1
11:00
Invited Talk: A Brief History of Denotational Semantics (abstract)
11:30
First-order differential programming (abstract)
12:00
Games and domains (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 28B
Location: Maths LT1
14:00
Invited Talk: Scott Domains for Denotational Semantics and Program Extraction (abstract)
14:40
Robust computability notions for types arising in classical analysis (abstract)
15:05
T^\omega-representations of compact sets through dyadic subbases (abstract)
15:30-16:00Coffee Break
16:00-16:50 Session 31B
Location: Maths LT1
16:00
Higher-dimensional categories: recursion on extensivity (abstract)
16:25
A logical view of complex analytic maps (abstract)
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
Sunday, July 8th

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

09:00-10:30 Session 34D
Location: Maths LT1
09:00
Invited Talk: Approximating partial by total: fixpoint characterizations of back-and-forth equivalences (abstract)
09:40
Diffeological Spaces and Semantics for Differential Programming (abstract)
10:05
Domain Theory for Intensional Computation (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38D
Location: Maths LT1
11:00
Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming (abstract)
11:40
Abstractness of Continuation Semantics for Asynchronous Concurrency (abstract)
12:05
Algebra semantics of recursive computation types (abstract)
12:30-14:00Lunch Break
14:00-15:05 Session 40D
Location: Maths LT1
14:00
Invited Talk: Topology and Domain Theory Interfaces (abstract)
14:40
A Domain-theoretic Skorohod’s Theorem (abstract)
15:30-16:00Coffee Break
16:00-17:15 Session 42D
Location: Maths LT1
16:00
Frames and frame relations (abstract)
16:25
Extending Stone Duality to Relations (abstract)
16:50
Applications of entailments: de Groot duality (abstract)