Inria
Inria.fr
Inria Channel
Il y a 3 Résultats avec le mot clé : "Ecole CEA-EDF-Inria"
Evénement
Ecole CEA-EDF-Inria
Du 14 au 18 novembre 2011, cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Actualités > Ecole CEA-EDF-Inria
École d'été CEA-EDF-Inria
Ecoles d'été CEA-EDF-Inria - Functional programming for parallel and concurrent applications
Accommodation and courses take place in a castle depending of the CEA (French Alternative Energies and Atomic Energy Commission) at Cadarache, South of France, from June 11 till June 22, 2012.
Lieu : Castle of Cadarache, Saint Paul Lez Durance, France
Intervenants : Ralf Hinze (Oxford University) Andres Löh (Well-Typed) Simon Marlow (Microsoft Research)
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles d'été CEA-EDF-Inria - Functional programming for parallel and concurrent applications
École d'été CEA-EDF-Inria
Numerical analysis Summer school 2012
Accommodation and courses take place in a castle depending of the CEA (French AlternativeEnergies and Atomic Energy Commission) at Cadarache, South of France, from Monday,June 25th till Friday, July 6th, 2012.
These courses can interest a public of industrial engineers as well as academics (in particular researchers from CEA, EDF and INRIA), confirmed or not, in particular the PhDand the post-doctorate students.
Lieu : CEA (French AlternativeEnergies and Atomic Energy Commission) at Cadarache
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Numerical analysis Summer school 2012
Centres de recherche Inria
