Philippe Schnoebelen reçoit le LICS Test-of-Time Award 2022 pour l'article Temporal Logic with Forgettable Past cosigné avec François Laroussinie (Université Paris-Cité) et Nicolas Markey (IRISA, CNRS). Au moment de la rédaction de l'article en 2002, les trois auteurs étaient membres du même laboratoire LSV qui a intégré le LMF en 2021.
La conférence LICS — Logic in Computer Science est le plus prestigieux forum annuel sur des sujets théoriques et pratiques en informatique liés à la logique au sens large. Le prix LICS Test-of-Time Award récompense un petit nombre d'articles tirés des actes du LICS des 20 dernières années (c'est-à-dire que l'article en question date du LICS 2002 et a été pris en considération cette année) qui ont le mieux résisté à "l'épreuve du temps”. En sélectionnant ces articles, le comité d'attribution tient compte de l'influence qu'ils ont eue depuis leur publication ; en raison de la nature fondamentale des travaux de la LICS, l'impact n'est souvent pas ressenti immédiatement, d'où la perspective de 20 ans.
Fondaments de la vérification automatique
Selon le jury d'attribution : “Cet article extraordinairement clair et élégant fournit des caractérisations complètes et bien motivées de la succinctivité et de la complexité de la logique temporelle linéaire avec opérateurs passés et avec passé oubliable. Il a contribué à stimuler un programme de recherche dynamique sur les logiques et les automates sur les alphabets infinis, depuis les résultats de dureté jusqu'aux traductions des formules logiques en automates à registre alternatif, avec les conséquences algorithmiques puissantes qui en découlent pour le model checking. Il a également fortement influencé le développement du domaine du calcul nominal, et il n'est pas exagéré d'affirmer que le présent article a conduit de manière tangible à un certain nombre de conférences invitées, d'ateliers de type Dagstuhl, de subventions de recherche, de postes universitaires et de prix, et continue d'avoir un impact continu et durable dans les domaines de la théorie des automates et des fondements de la vérification automatique.”
Le prix a été remis lors de la conférence LICS 2022 organisée du 2 au 5 aout dans le cadre de FLOC 2022 -- Federated Logic Conference à Haifa, Israel.