Internet and smartphones accompany our daily life and make many tasks easier for us. While some of the successes of new technologies are undeniable, there is a counterpart: we have become data producers, coveted by many companies or government agencies.
Place : FUN
Guest(s) : Cédric Laradoux and Vincent Roca
The primary goal of MOMI is to encourage young researchers to discover the link between the industrial world and applied mathematics and familiarize themselves with the opportunities it offers.
Place : Inria, Sophia Antipolis, Bâtiment Kahn
Resarch team 's seminary
Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.
Place : Inria de Paris- 2 rue Simone Iff- 75012
Guest(s) : Hugo Illous- ENS
Research team 's seminary
We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.
Place : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C
Guest(s) : Ulysse Gérard ( Inria Saclay)
The next meeting on Cybersecurity and Industry organized with our academic and industrial partners from France and Germany, will take place this year at the Congress Center of Saarbruecken on March 14th. The Cispa is in charge of organizing the 2018 edition in partnership with the Inria Center of Nancy - Grand Est.
Place : Saarbruecken, Allemagne
Inria organise the second edition of the school on Runtime Verification, at Praz sur Arly, France, from 18 ato 23 march 2018.
This Winter School is sponsored by COST Action IC1402 ArVi, Inria, and Persyval-Lab;
For PhD students and researchers entering the field of RV and for people coming from industry, this school will be a great opportunity to meet people working in the area, and establish contacts that may lead to research collaborations in the future.
The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming.
‹Programming› 2018 is the second edition of the conference. The first edition took place in Brussels in April 2017.
Place : Nice
The second national congress of the Mathematical compagny of France will be held from 4 till 8 June 2018 in Lilliad on the campus Cité scientifique at Villeneuve d'Ascq. Inria Lille- nordEurope center is partner of this event.
Place : Lilliad, cité scientifique Villeneuve d'Ascq
The ECSCW conference will take place at Inria Nancy from 4 to 8 June 2018. It is the annual European Conference on the CSCW theme and merges from 2018 with the COOP conference.
Place : Inria Nancy Grand Est