Prix Concur

Prestigieux prix 2021 "Concur Test of Time Awards".

Deux chercheurs du LaBRI, David Janin et Igor Walukiewicz ont reçu le prestigieux prix 2021 "Concur Test of Time Awards".

David Janin et Igor Walukiewicz ont reçu le prestigieux prix 2021 "Concur Test of Time Awards".
Le but de ce prix est de reconnaître les réalisations importantes en théorie de la concurrence qui ont été publiées à la conférence CONCUR et qui ont résisté à l'épreuve du temps ; en l'occurrence ici sur la période 1994–1997.
Le prix a été décerné pour la publication de l'article "On the Expressive Completeness of the Propositional mu-Calculus with spect to Monadic Second Order Logic", " qui a établi un lien étroit entre la logique monadique du second ordre et un langage de calcul de point-fixe appelé mu-calcul.

Cet article a fourni une base conceptuelle pour de nombreuses applications algorithmiques dans divers domaines, notamment la  vérification et l'analyse des systèmes de transitions, des systèmes probabilistes et temporisés et la théorie des jeux.