There are 23 Results with the keyword : "Mathematics"
2012 Inria Awards
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.
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)
- Gaston Berger University
- Computer Science
- African Centre of Excellence
- Information and Communications Technology
History of Inria
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).
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
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.
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".
- Thèmes de recherche
- Rennes - Bretagne Atlantique
- Scientific challenges
History of Inria
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.
- Applied Mathematics
- Jacques-Louis Lions
- International relations
- Research centre
History of Inria
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.
- Lambda calcul
- Collège de France
- Académie des sciences (French Academy of Sciences)
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.
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) ..