Sites Inria

Il y a 4 Résultats avec le mot clé : "Méthode formelle"

Antoine Petit Antoine Petit, PDG d'Inria - © Inria / Photo C. Helsly

Nomination

Antoine Petit nouveau PDG d'Inria

DirCom - 29/09/2014

Par décret du Président de la République en date du 26 septembre 2014, Antoine Petit est nommé président du conseil d’administration d'Inria. Il assure également les fonctions de directeur général en application des statuts de l'Institut.

Mots-clés :

Accueil > Actualité > Actualités Inria > Antoine Petit nouveau PDG d'Inria

Lire la suite

Conférence internationale

Tableaux 2013

16/09/2013 au 19/09/2013

22ème édition à Nancy, Tableaux 2013 est ouverte aux applications des méthodes formelles fondées sur la déduction automatique ou semi-automatique à des exemples de taille réelle, par exemple dans les domaines suivants : vérification de logiciels et de hardware, ingénierie de la connaissance, web sémantique.

Les méthodes de tableaux offrent un ensemble de formalismes pour la déduction automatique dans diverses logiques classiques et non classiques.

"Tableaux" rassemble les chercheurs de ces domaines au niveau international.

Lieu : Inria Nancy - Grand Est

Mots-clés :

Accueil > Centre > Nancy > Agenda > Tableaux 2013

lire la suite

Laboratoires Communs Chercheurs © INRIA / Photo C. Dupont

Inria Joint Labs

Favoriser la recherche amont avec l’industrie

Inria met un point d’orgue sur le transfert de ses recherches vers l’industrie. Ce processus impacte fortement l’économie et aussi, de manière générale, la société. Afin de favoriser la recherche en amont avec l'industrie, l’institut crée avec des partenaires de très longue date des laboratoires communs. Ces laboratoires sont créés dans le but de lever des verrous technologiques sur des sujets majeurs et ciblés. Chaque partenaire y consacre d’importants moyens humains. 

Mots-clés :

Accueil > Recherches > Structures de recherche > Inria Joint Labs

Lire la suite

Partenariats

Microsoft Research - Inria Joint Centre : la recherche pour les e-Sciences

Inauguré le 11 janvier 2007, le laboratoire de recherche Commun Microsoft Reasearch - Inria Joint Centre s'inscrit dans la continuité d'une collaboration engagée depuis plusieurs années. Le laboratoire commun a pour but la recherche à long terme dans les domaines des méthodes formelles de la sécurité du logiciel et des méthodes et outils informatiques pour les sciences.

Ce partenariat initié en 2005 a été reconduit en 2009 puis en  2013.

Mots-clés :

Accueil > Institut > Partenariats > Partenariats industriels > Microsoft Research

Lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !