FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

What is the Foreign Function Interface of the Coq Programming Language?

Sylvain Boulmé

Classical Analysis with Coq

Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling and Pierre-Yves Strub

Towards a formalization of the guard condition

Cyprien Mangin and Matthieu Sozeau

Verifying Distributed Systems

Zachary Tatlock

Procrastination, A proof engineering technique

Armaël Guéneau

ComplCoq: Rewrite Hint Construction with Completion Procedures

Mirai Ikebuchi and Keisuke Nakano

A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra.

Véronique Benzaken and Évelyne Contejean

Preliminary Report on the Yalla Library

Olivier Laurent
Total: 8 presentations.