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

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

09:00-10:30 Session 23H: Amiga
09:00
Asynchronous games fifteen years later (abstract)
09:30
Invited talk: Generating and Verifying C (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26I: Bellmac
11:00
A more precise, more correct stack and register model for CompCert (abstract)
11:30
Towards a library of formalised undecidable problems in Coq: The undecidability of intuitionistic linear logic (abstract)
12:00
A graph-rewriting perspective of the beta-law (abstract)
12:30-14:00Lunch Break
14:30-15:30 Session 29A: Commodore
14:30
Invited talk: Semantic Equivalence Checking for HHVM Bytecode (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 31I: DECsystem
16:00
Denotational Event structure for relaxed memory (abstract)
16:30
A resource modality for RAII (abstract)
17:00
Experimenting with graded monads: certified grading-based program transformations (abstract)
17:30
Heaps denote finitely partitioned trees (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