14/01/2015: Kick-off (Introduction, COLIBRI, Popop (SOPRANO Solver))

05/06/2015: Floating Point Arithmetic (Delta in COLIBRI)

08/06/2015: Non-linear arithmetic

07/10/2015: Discussions about FPA in Alt-Ergo

08/01/2016: OCI; Improvements of FPA on hard problems; Bitvectors in Colibri

01/07/2016: Improvement of FPA in Alt-Ergo; Lesson on the tentative of COLIBRI at SMTCOMP; States of Popop