On Friday, December 1st, 2017, there will be a workshop on Constraint Programming with members of the jury of Charlotte Truchet's hablitation defense, and PhD students from the Coverif project and the TASC team.
9h00-10h45 | Brigitte Vallée | Towards a Realistic Analysis of Sorting and Searching Algorithms (abstract) |
Nadia Creignou | On the Complexity of Hard Enumeration Problems | |
Giovanni Lo Bianco | Comptage de solutions pour des contraintes de cardinalité | |
10h45-11h15 | Café | |
11h15-12h30 | Antoine Miné | Un algorithme de recherche d'invariants numériques inductifs inspiré par la programmation par contraints |
Bibek Kabi | Combining zonotopic abstraction and constraint programming for finding invariant | |
14h-16h30 | Thomas Jensen | Hybrid Information Flow Analysis Against Web Tracking |
Pascal Van Hentenryck | Optimal Power Flows | |
15h10-15h45 | Ghiles Ziat et Marie Pelleau | AbSolute (demo) |
Ekaterina Arafailova | Systematic Derivation of Invariants Describing the Set of Feasible Combinations of Characteristics of an Integer Sequence (abstract) |