Congratulations to Nicolas Markey, winner of the Test-of-time at the LICS 2022 conference
Congratulations to Nicolas Markey, who won the Test-of-Time award at the Logic in Computer Science (LICS) conference, which was held for its 37th edition in Haifa, Israel, in early August.
The LLICS — Logic in Computer Science conference is the most prestigious annual forum on theoretical and practical topics in computer science related to logic in the broad sense. To acknowledge the long-term foundational nature of papers appearing at LICS, a Test-of-Time (ToT) Award is given annually to the paper or papers that were presented twenty years ago at LICS and that have best met the “test of time"
Nicolas Markey, CNRS researcher in the SUMO team , is winner of the Test-of-Time award for his article "Temporal Logic with Forgettable Past" co-authored with François Laroussinie and Philippe Schnoebelen.
“This extraordinarily clear and elegant paper provides well-motivated and complete characterisations of succinctness and complexity of linear temporal logic with past operators and with forgettable past. It has contributed to spur a vibrant research programme on logics and automata over infinite alphabets, from hardness results to the translations of logical formulas into alternating register automata, along with the attendant powerful algorithmic consequences for model checking. It has also strongly influenced the development of the field of nominal computation, and it is no exaggeration to state that the present paper has tangibly led to a number of invited talks, Dagstuhl-type workshops, research grants, academic positions, and prizes, and continues to have an ongoing and lasting impact in the areas of automata theory and the foundations of automated verification.” Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Article à lire également sur le site du CNRS "Trois chercheurs récompensés pour leurs travaux sur la logique temporelle"