- Start at 10:00
- Report on the non-participation of Colibri at the SMT-COMP (QF_BV and QF_FP)
- Colibri with Spark/Why3.
- Alt-Ergo with FP
- Alt-Ergo with models
- Popop with LRA
- Correctness theorem of Popop

- ANR mid-project report
- ANR mid-project evaluation this autumn