Inria
28 janvier 2015 | Steve Kremer du LORIA obtient une ERC !
Steve Kremer, directeur de recherche Inria au sein de l'équipe Cassis du Loria a obtenu une ERC (European Research Council) Consolidator Grant, financement européen pour ses travaux portant sur la spécification et la vérification formelle de nouvelles propriétés de sécurité.
15 décembre 2014 | Sciences et société : des conférences scientifiques d’excellence pour le grand public
Le cycle de conférences « Sciences et société » rempli chaque mois un amphi autour d’un conférencier prestigieux. Le 28 janvier 2015, c’est un Prix Nobel de Physique, qui interviendra autour des applications nouvelles de la physique quantique.
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
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
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
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
