FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
DCM PROGRAM
Sunday, July 8th

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

10:00-10:30 Session 37
10:00
Models of Computation that Conserve Data (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38C
Chair:
11:00
A syntactic model of mutation and aliasing (abstract)
11:30
Pointing to Private Names (abstract)
12:00
A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40C
14:00
On Higher-Order Probabilistic Computation. (abstract)
15:00
Towards a Formal System for Topological Quantum Computation (abstract)
15:30-16:00Coffee Break
16:30-17:30 Session 43 (joint with ITRS)
16:30
Polyadic approximations and intersection types (ITRS/DCM joint invited talk) (abstract)