Section: Dissemination

Popularization

• A user guide is now available for CHOCO : 164 pages describing how to use CHOCO , together with a new website, see http://www.choco-solver.org . The next topics on the way will include:

  • Dealing with strong consistencies.

  • Designing an even more efficient free search strategy.

  • Providing a light explanation framework.

• Within the context of the global constraint catalog :

  • On-line interactive exercises completed (see http://imedia.emn.fr/global_constraints_course/ ).

  • Effort for providing more TikZ illustrations has been continued (about 1000 figures are currently available and 60 figures remain to be redesigned to TikZ ) by Nicolas Beldiceanu .

  • Reorganization of the production of the pdf version (and enhancing look and navigation within the pdf) by Mats Carlsson .

  • Update of the web version (see http://sofdem.github.io/gccat/ ) by Sophie Demassey .

• A strong effort has also been made in 2014 to improve the dissemination of IBEX and the collaboration of programers. This includes:

  • Course on IBEX by Gilles Chabert at MACS 2015 .

  • Creation of a new web site, see http://www.ibex-lib.org/ .

  • Documentation writing (low-level interval arithmetic operations, contractors), see http://www.ibex-lib.org/doc/ .

  • Migration of the code from SVN+sourceforge to github (github.com/ibex-team/ibex-lib ).

  • Support via the new forum (http://ibex-lib.org/forum ).

  • Bug/issue tracking system, private wiki for developers.

  • Introduction of Travis for continuous integration.

• Within the context of Artificial Intelligence and real time strategy games,

  • Interview by Inria Bretagne of F. Richoux on his work about Game AI, see emergences.inria.fr/emergences-2014/newsletter-n30/L30-STARCRAFT .

  • F. Richoux has been invited to write a short article about his work about Game AI in the “Bulletin de l'Association Française pour l'Intelligence Artificielle”. It should appear on January 2015.

• Presentation at the workshop les femmes dans le monde académique by Charlotte Truchet .

• A the 2014 edition of the Fête de la Science (Nantes University):

  • One talk on Challenges around optimizations problems was given by Xavier Lorca .

  • A session discussing and answering questions around the work of professor and researcher in computer science with young persons (18 years old) was spent by N. Beldiceanu .