Section: Highlights of the Year

Highlights of the Year

1. The PhD thesis of Jean-Guillaume Fages about the use of graph structure in constraint programming got the following awards:

   • PhD thesis award by the French association for AI .

   • Doctoral research award by the Association for Constraint Programming .

2. The paper of the PhD student Anicet Bart (Verifying a Real-Time Language with Constraints, Anicet Bart , Charlotte Truchet and Eric Monfroy [29] ) got the best paper award of the SAT/CSP track of the ICTAI 2015 conference.

3. The solver Choco3 got a bronze medal in the 2015 minizinc challenge .

Best Paper Award: