Coq recipient of the 2013 Software system Award, among its developers: Christine Paulin and Jean-Christophe Filliâtre 21 June 2014 The proof assistant Coq receives the prestigious 2013 ACM Software System Award. It rewards the involvement of the Vals-Toccata team in the project, in the establishment of its theoretical foundations and in its development.
ACM will present the 2013 Software System Award at its annual Awards Banquet on June 21 in San Francisco, CA.  It is the first time for a French team to receive this award over the last 40 years.  Pour en savoir plus: http://awards.acm.org/software_system/

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