Scientific prize for the CONVECS team

Test-of-Time Tool Award

etaps

The test-of-time tool award is granted to tools from the ETAPS community that has proved its impact and qualities over past years.

The 2023 ETAPS Test-of-Time Tool Award went to Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe for their tool CADP: Construction and Analysis of Distributed Processes.

https://twitter.com/ETAPSconf/status/1651574000596787200

https://etaps.org/awards/test-of-time-tool/

LIG Team

CONVECS Team
Hubert GARAVEL
Frédéric LANG
Radu MATEESCU
Wendelin SERWE