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 […]
Le Club ORION "RESAIA" vous invite à une conférence unique d’initiation à l’intelligence artificielle, labellisée par le prestigieux Sommet pour l’Action sur l’IA ! Cet événement offre une approche interdisciplinaire pour explorer les […]
