FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming

Ohad Kammar

Invited Talk: Scott Domains for Denotational Semantics and Program Extraction

Ulrich Berger

Abstractness of Continuation Semantics for Asynchronous Concurrency

Gabriel Ciobanu and Eneia Nicolae Todoran

Higher-dimensional categories: induction on extensivity

Thomas Cottrell, Soichiro Fujii and John Power
Total: 4 presentations.