Nima Mehdi (Larsen) soutiendra sa thèse intitulée "Approches probabilistes pour la perception et l'interprétation de l'activité humaine" le 17 décembre à 14h en salle A008. Résumé L'intégration des robots dans […]
Florian Delconte, doctorant dans l'équipe Adagio, soutiendra sa thèse intitulée "Détection et classification automatique des singularités sur l'écorce des arbres" le vendredi 20 décembre en salle C005. Jury : Isabelle […]
Next Formal Methods Seminar (D2 seminar) will take place on January 7th at 1pm in room A008. Alejandro Díaz Caro (Mocqua) Will give a presentation entitled Sup, Sum, and Scalars: […]
Next SSL - Loria Security Seminar will take place on Tuesday, 21st January at 1pm in room A008. Nils Ole Tippenhauer, researcher at CISPA, will talk about reversing and testing […]
The next D2 seminar, entitled “The Squirrel Prover”, by Charlie Jacomme, will be held on February 4 at 1:00 pm in room A008. Abstract The Squirrel Prover is a proof […]
