EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

Awards

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

  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:
[29]
A. BART, C. Truchet, E. Monfroy.

Verifying a Real-Time Language with Constraints, in: 27th IEEE International Conference on Tools with Artificial Intelligence, Vietri sul Mare, Italy, 2015.

https://hal.archives-ouvertes.fr/hal-01234188