› Programmation par contraintes sur des intervalles pour la génération automatique de tests numériques - Clothilde Jeangoudoux, Max Planck Institute for Software Systems
16:00-16:30 (30min)
› Posits, the good, the bad and the ugly - Luc Forget, INSA Lyon
16:30-17:00 (30min)