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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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) |
17:15-17:30 Session 45: Closing
Location: Maths LT1