Sites Inria

Version française

Latest news

MOOC

A MOOC on privacy protection in the digital world

29/01/2018 to 26/03/2018

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

Keywords:

lire la suite

Affiche MOMI2018 Flyer - MOMI2018 - Inria

MOMI2018

26/02/2018 to 27/02/2018

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

Keywords:

lire la suite

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium Seminary

5/03/2018

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

Keywords:

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team 's seminary

Gallium Seminary

12/03/2018

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)

Keywords:

lire la suite

IT-SECURITY DAY - © Cispa

RII

German-French IT-SECURITY DAY 2018

14/03/2018

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

Keywords:

lire la suite

© Inria / Photo C. Morel

Winter School

2nd ARVI COST School on Runtime Verification

18/03/2018 to 23/03/2018

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.

Keywords:

lire la suite

Conférence Programming 2018

Programming 2018

Programming conference - 2018

9/04/2018 to 12/04/2018

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

Keywords:

more on the web site

Meeting OpenMP

14/05/2018 to 18/05/2018

The event is a meeting of the "OpenMP ARB" consortium.  Inria is a member of the consortium since July 2016.

OpenMP is a programming language that allows you to write parallel programs, programs that do several calculations at the same time.

lire la suite

Event

SMF 2018

4/06/2018 to 8/06/2018

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

Keywords:

lire la suite

ECSCW 2018 Conference - C.Ignat

Conference

ECSCW 2018 conference

4/06/2018 to 8/06/2018

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

Keywords:

lire la suite

Top