The Coq proof assistant receives the ACM SIGPLAN Software award 5 July 2003 The Coq proof assistant is the result of a collective work, started in the eighties and undertaken at INRIA, ENS Lyon, Universities Paris-Sud and Parid-Diderot. It received the 2013 ACM SIGPLAN Software award.
Pour en savoir plus: http://www.sigplan.org/Awards/Software/Main

Yannis Manoussakis passed away
6 June 2021
We have just learned of the death of Yannis Manoussakis, Professor at the University of Paris-Saclay, on Saturday June 5.

He was the leader of the GALaC team and had been for many years director of the LRI, we lose a friend and a dear colleague.

Our

Semaine du cerveau : Cerveau connecté
16 March 2021

Wizard project
1 April 2021
Innovation Area: Public Safety, IoT, Mobility