Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Prix Michel Monpetit de l'Académie des Sciences
Prix Michel Monpetit de l'Académie des Sciences
Prix Michel Monpetit de l'Académie des Sciences Prix Michel Monpetit de l'Académie des Sciences
15 décembre 2015

A l'occasion du prix Michel Monpetit de l'Academie des Sciences décerné à Christine Paulin-Mohring, le CNRS revient sur le développement de l'assistant de preuves Coq et ses apports.
News
TrackML dans Nature
21 juin 2018
L'apprentissage automatique peut-il aider la physique des hautes énergies à découvrir et à caractériser de nouvelles particules ? TAO participe à l'organisation du challenge TrackML avec le CERN. La seconde phase de la compétition utilisera Codalab.

Un article de Isabelle Guyon sur la démocratisation de l'IA
19 mars 2018
Lien vers l'article paru dans le journal le monde :
http://www.lemonde.fr/acces-restreint/sciences/article/2018/04/08/a4544bd07cad09fe52980c0f82c08b34_5282548_1650684.html

Michèle Sebag a été élue membre de l'Academie des Technologies
13 avril 2018
Michèle Sebag, DR CNRS et Directrice Adjointe du LRI, a été élue membre de l'Academie des Technologies

https://www.academie-technologies.fr/members/454-michele-sebag