Français Anglais
Accueil Annuaire Plan du site
CAV Award 2019 CAV Award 2019
Jean-Christophe Filliâtre reçoit le prix "CAV Award 2019", pour la conception et le développement de langages intermédiaires réutilisables pour la vérification.
Le projet Sanctuary - Le LRI à l'honneur au journal télévisé  Soir 3 Le projet Sanctuary - Le LRI à l'honneur au journal télévisé Soir 3
Les travaux de l'équipe HCC/ILda - projet Sanctuary - passent à Soir 3.

Une expédition sur la Lune pour les 50 ans d'Apollo 11.
Martin Clochard reçoit le prix de thèse GDR GPL 2018 Martin Clochard reçoit le prix de thèse GDR GPL 2018
Martin Clochard a reçu le prix GDR GPL 2018 (http://gdr-gpl.cnrs.fr/node/361) pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels" .
Best Paper Award - HPCS 2019 - On server-side file access pattern matching
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T
Best Full Paper Award EDM 2019 - Educational Data Mining
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski
Best Paper Award - CODIT2019 - Stochastic Dual Dynamic integer Programming for a multi-echelon lot-sizing problem with remanufacturing and lost sales
Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum
The Domino Problem is undecidable on surface groups
Combinatoire
Ven. 27 septembre 2019 - 14h30
Salle : 445 (PCRI-N)
Nathalie Aubrun
> tous les séminaires