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

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

09:00-10:30 Session 34B
Chair:
Matthieu Sozeau
Location: Maths LT2
09:00
Zachary Tatlock
Verifying Distributed Systems (abstract)
10:00
Armaël Guéneau
Procrastination, A proof engineering technique (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38B
Chair:
Nicolas Tabareau
Location: Maths LT2
11:00
Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling and Pierre-Yves Strub
Classical Analysis with Coq (abstract)
11:30
Sylvain Boulmé
What is the Foreign Function Interface of the Coq Programming Language? (abstract)
12:00
Olivier Laurent
Preliminary Report on the Yalla Library (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40B
Chair:
Nicolas Tabareau
Location: Maths LT2
14:00
Véronique Benzaken and Évelyne Contejean
A Coq mechanised formal semantics for real life SQL queries : Formally reconciling SQL and (extended) relational algebra. (abstract)
15:00
Coq Development Team
Discussion with the Coq development team (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 42B
Chair:
Assia Mahboubi
Location: Maths LT2
16:00
Mirai Ikebuchi and Keisuke Nakano
ComplCoq: Rewrite Hint Construction with Completion Procedures (abstract)
16:30
Cyprien Mangin and Matthieu Sozeau
Towards a formalization of the guard condition (abstract)
17:00
Jason Gross
Teaching Your Rooster to Crow in C (abstract)
17:30
Lasse Blaauwbroek
Proof Construction by Tactic Learning (abstract)