Sites Inria

There are 2 Results with the keyword : "mathematics"

Spring school

International Spring School on Formalization of Mathematics

12/03/2012 to 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.

Place : Inria Sophia Antipolis - Méditerranée


Home > Centre > Saclay > Calendar > International Spring School on Formalization of Mathematics

Lire la suite

Aline Carneiro Viana, research scientist - © Inria Saclay - Île-de-France

The career of a researcher

Aline Carneiro Viana: wireless and borderless networks

Catherine Fressoz - 17/03/2014

The third "Semaine des Mathématiques" (Mathematics Week), from 17 to 22 March 2014, focuses on "Mathematics at the crossroads of cultures". This gives us the chance to look back at the career of Aline Carneiro Viana. Aline was born in Brazil. This trilingual Inria employee embodies a living, creative science open to the world. Let's meet her.


Home > Centre > Saclay > News > Aline Carneiro Viana : réseaux sans fil et sans frontière