Cher(e)s collègues,
Nous organisons le 10 mai prochain à Paris-Diderot une journée sur le thème « Beyond NP ».
Les progrès réalisés en pratique ces dernières années concernant la résolution d’instances de SAT/CSP ouvrent la voie à l’étude et à la conception d’algorithmes de résolution de problèmes qui sont vraisemblablement au delà de NP (dont #SAT, QBF) et que des développements tant théoriques que plus appliqués vont déjà dans cette direction (NP-preprocessing, approche CEGAR, beyondnp.com, etc.).
L’objectif de cette journée est de réunir les chercheurs des communautés d’informatique fondamentale et d’intelligence artificielle qui s’intéressent aux contraintes (en un sens très général) et à l’évaluation de requêtes pour échanger et confronter les approches et les points de vue, en particulier sur ces problématiques au delà de la décision (comptage, énumération, agrégation, …)
Les présentations de cette journée seront données par :
– Hubie Chen (San Sebastian)
– Joao Marques Silva (Lisbonne)
– Antoine Amarilli (Telecom Paris Tech)
– Georges Katsirelos (INRA)
– Florent Madelaine (Clermont)
– Laurent Simon (Bordeaux)
Les exposés seront suivis d’un débat sur l’opportunité de créer un groupe de recherche commun au pré-GDR IA (intelligence artificielle) et au GdR IM (informatique mathématique) ayant pour but d’animer la communauté nationale sur ces thèmes.
La journée est ouverte à celles et ceux qui sont intéressés par le thème retenu et/ou souhaitent participer aux discussions qui suivront.
Venez donc nombreux !
Bien cordialement,
Arnaud Durand et Pierre Marquis.