Il y a 2 Résultats avec le mot clé : "CONNECT"

Summer School

SFM-11: CONNECT

13/06/2011 au 18/06/2011

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems.

The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

Lieu : Bertinoro (Italy)

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Agenda > SFM-11: CONNECT

Lire la suite

Inria & PME - Publication

Innover avec les sciences du numérique

Découvrez CONNECT, le magazine à destination des PME qui souhaitent innover avec les sciences du numérique : actualité des STIC, état d'avancée de la Recherche, technologies transférées ou transférables vers le monde industriel, portrait de partenaires issus des équipes de recherche d'Inria avec des PME innovantes, dossiers thématiques, ... N'hésitez pas, CONNECTez-vous !

Mots-clés :

Accueil > Innovation > Inria & PME > Magazine Connect

Lire la suite

Haut de page