Ylies Falcone, prix du meilleur article long de recherche à FM'2012

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)