AgeNts Distribues, Robotique, Recherche Opérationnelle, Interaction, DEcision
Il s'agit de construire une machine de Turing avec des allumettes. La validation du projet se fera en écrivant une preuve automatique de P = NP, ou pas.