Il y a 3 Résultats avec le mot clé : "Mathematics"

École de Printemps

International Spring School on Formalization of Mathematics

12/03/2012 au 16/03/2012

Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library.

Lieu : Inria Sophia Antipolis - Méditerranée

Mots-clés :

Accueil > Centre > Saclay > Agenda > International Spring School on Formalization of Mathematics

Lire la suite

Workshop

Mathematics and Biology

4/04/2011 au 6/04/2011

Scientific committee

  • H. Tom Banks (North Carolina State University)
  • Doina Cioranescu (Université Paris 6)
  • Benoît Perthame (Université Paris 6)

Organizing committee

  • Adel Blouza (Université de Rouen)
  • Marie Doumic (Inria)

Lieu : University of Rouen

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Agenda > Mathematics and Biology

Lire la suite

Ecole de printemps

MAP Spring School

12/03/2012 au 16/03/2012

Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library

Lieu : Inria Sophia Antipolis - Méditerranée

Mots-clés :

Accueil > Recherches > Agenda > MAP Spring School

lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social