Présentation du projet
Le projet de recherche collaborative PING/ACK (Preprocessing Information for Nontrivial Goals / Advanced Compilation of Knowledge) est un projet financé par l’ANR et dans lequel interviennent le CRIL, le GREYC, l’IRIT et le LaBRI.
Ce projet a débuté au mois de mars 2019 et a duré 54 mois (sa durée prévue initialement a été prolongée de 6 mois à cause de la pandémie COVID-19). Vous pouvez en retrouver une description détaillée sur le site de l’ANR.
Participants
Dans cette section sont présentés, pour chacun des laboratoires partenaires, les chercheurs qui ont été impliqués dans le projet.
CRIL
- Alexis de Colnet
- Frédéric Koriche
- Jean-Marie Lagniez
- Pierre Marquis
- Stefan Mengel
- Romain Wallon
- Florent Capelli (CRIStAL - équipe LINKS)
GREYC
- Julien Clément
- Etienne Grandjean
- Alexandre Niveau
- Sergej Scheck
- Bruno Zanuttini
IRIT
- Martin Cooper
- Hélène Fargier
- Frédéric Maris
- Jérôme Mengin