Yliès Falcone, membre de l'équipe VASCO du LIG, a reçu le prix du meilleur article de Formal Methods Europe et des présidents du comité de programme de la conférence FM 2012 (18th International Symposium on Formal Methods) pour sa contribution qu'il a co-écrite avec Andreas Bauer du NICTA Canberra (Australie) : Decentralised LTL Monitoring.
La conférence FM (Formal Methods) porte sur le développement
et l'analyse formels de logiciels.
(Lien vers l'article)