Sites Inria

There are 23 Results with the keyword : "Mathematics"

2012 Inria Awards

2012 Inria Awards

22/02/2012

On 14 June in Paris, the "Inria Awards" ceremony will take place for the second consecutive year. After Gérard Huet, Bruno Levy, Stéphane Donikian... who will be the 2012 prize winners? In your immediate surroundings, perhaps you know a researcher or a team of scientists whose research results, vision, action, and originality of approach contribute to advances in computer sciences and mathematics for the development of our society. Inria invites you to nominate your candidates.

Keywords:

Home > News > News from Inria > Prix Inria 2012

More

Sénégal

Gaston Berger University - African Centre of Excellence

15/12/2014

In response to a call from the World Bank and with the academic support of the Association of African Universities, Gaston Berger University in Saint-Louis was selected as the African Centre of Excellence in Mathematics, Computer Science, Communication and Information Technology (CEA-MITIC)

Keywords:

Home > News > News from Inria > Université Gaston Berger Centre d'Excellence Africain

More

Portrait André Lichnerowicz © INRIA

History of Inria

André Lichnerowicz: a reformer and a visionary

The inaugural chairman of IRIA's scientific council, this graduate of the Ecole Normale Supérieure and professor at the Collège de France was quick to understand the limitations of an institute devoted exclusively to issues associated with the Plan Calcul (the French government's plan to develop a new discipline of computer science).

Keywords:

Home > Institute > Inria in brief > The people who made Inria > André Lichnerowicz

More

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

Keywords:

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

Lire la suite

Prix

2014 ACM SIGMETRICS Achievement Award - François Baccelli

Service communication - 19/05/2014

ACM SIGMETRICS is pleased to announce the selection of Prof. François Baccelli of the University of Texas at Austin as the recipient of the 2014 ACM SIGMETRICS Achievement Award, in recognition of his fundamental contributions to stochastic geometry and to discrete-event dynamic system theory for the analysis of computer/communication systems.

Keywords:

Home > Centre > Paris > News > 2014 ACM SIGMETRICS Achievement Award - François Baccelli

More

Lagadic plateforme robot medical

Scientific challenges

Our scientific challenges

Inria organizes its research priorities based on the great issues of the digital society, such as digital sciences for large areas such as health, art, storage of massive data. To contribute, within its scientific, to societal challenges and economic issues of our time, Inria has developed its strategic plan "Towards Inria 2020".

Keywords:

Home > Centre > Rennes > Research > Nos défis scientifiques

More

Portrait Alain Bensoussan © INRIA / Photo A.Eidelman

History of Inria

Alain Bensoussan: international development of the Institute

A graduate of the Ecole Polytechnique and the ENSAE (École nationale de statistique et de l’administration économique), Alain Bensoussan was the first researcher recruited by IRIA in 1967, and simultaneously pursued a career in teaching.

Keywords:

Home > Institute > Inria in brief > The people who made Inria > Alain Bensoussan

More

Gérard Berry © INRIA Photo J.M.Ramès Gérard Berry - © Inria Photo J.M.Ramès

History of Inria

Gérard Berry: How the world is turning digital

A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language is used to explain the temporal synchronisation of tasks and prove that they are correctly executed.

Keywords:

Home > Institute > Inria in brief > The people who made Inria > Gérard Berry

More

© Colisweb

Collaboration

Colisweb refines its delivery model with Inria

4/05/2016

The problem Colisweb submitted to the Inocs team at Inria Lille - Nord Europe was a complex one.The aim was to work out the schedule for a fleet of delivery vehicles in advance - and without knowing their workload -so that the company could offer instant deliveries at no extra cost.

Keywords:

Home > Innovation > News > Colisweb améliore son modèle de livraison avec Inria

More

Event

ICM 2014

13/08/2014 to 21/08/2014

The International Congress of Mathematicians is the mathematics community's biggest event. Held every four years, it will take place in Korea under the aegis of the International Mathematical Union (IMU). A number of prestigious medals and prizes will be awarded at the event: the Fields Medal, the Chern Medal, the Nevanlinna Prize and the Gauss Prize.

Place : Séoul, Korea

Guest(s) : as invited speakers : Denis Talay (Tosca), Remi Abgrall (Bacchus) ..

Keywords:

Home > Centre > Sophia > Calendar > ICM 2014

lire la suite

Top