› Looking For All Solutions of a Set of Max-Atoms Solves the Max Atom Problem in Strongly Polynomial Time - Laurent TRUFFET
09:00-09:30 (30min)
› Application de la déquantification de Maslov pour l'étude des systèmes à évènements discrets - Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau, Benoit Trouillet
09:30-10:00 (30min)
› Un DSL pour représenter et analyser des systèmes à événements discrets - Pascal Andre, Hugo LOCTEAU, Yasmina DALI YOUCEF, Erwan BOUSSE, Olivier CARDIN
10:00-10:30 (30min)