FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Correctness of Concurrent Objects under Weak Memory Models

Graeme Smith, Kirsten Winter and Robert Colvin

Programming Without Refinement

Marwa Ben Abdelali, Lamia Labed Jilani, Wided Ghardallou and Ali Mili

Ordering strict partial orders to model behavioural refinement

Mathieu Montin and Marc Pantel
Total: 3 presentations.