Loria
11 septembre 2013 | Conférence internationale Tableaux 2013
16/09/13 - 19/09/13
Du lundi 16 au jeudi 19 septembre, aura lieu la 22ème édition de la conférence internationale "Tableaux 2013 - Automated Reasoning with Analytic Tableaux and Related Methods". Cette conférence vise à rassembler les chercheurs intéressés par les différents aspects de la mécanisation du raisonnement... (Lire la suite)
26 juin 2013 | Journée pédagogique sur Informatique et sciences du numérique (ISN)
27/06/13
Le jeudi 27 juin aura lieu dans les locaux du Loria une journée consacrée à la spécialité ISN (Informatique et Sciences du Numérique) qui réunira les enseignants du secondaire formés à cette nouvelle spécialité ainsi que les chercheurs et les enseignants-chercheurs impliqués dans la formation.
Pages
