Inria

10 septembre 2014 | Les temps forts de la recherche en informatique en 2013

Découvrez en un clic la première édition « Le Loria en bref » mettant en lumière les temps forts des activités de recherche au sein du

10 juin 2014 | Smart : une nouvelle équipe au LORIA

L’équipe Smart a vu le jour en début d’année 2014 au sein du Loria. Dirigée par Kamel Smaili, elle a pour objectif de développer des modèles pour les systèmes de traduction automatique et de reconnaissance de la parole.

11 septembre 2013 | Conférence internationale FroCoS

FroCoS  2013
18/09/13 - 20/09/13
Du mercredi 18 au vendredi 20 Septembre aura lieu la conférence internationale FroCos - Frontiers of Combining Systems.

11 septembre 2013 | Conférence internationale Tableaux 2013

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)

10 juin 2013 | Six partenaires s’engagent pour faire avancer la recherche publique lorraine

Signature de la convention CCOSL
Le 31 mai à Nancy, l’Université de Lorraine, le CNRS, l’Inra, l’Inria, l’Inserm et le CHU de Nancy, acteurs majeurs de la recherche publique en Lorraine, ont signé une convention de site lorrain en présence de leurs représentants nationaux et du ministère

Pages

S'abonner à Inria