Sites Inria

Version française

Latest news

© INRIA Sophie Auvin - P comme Protocole

Research team seminary

Séminaire Prosecco

24/07/2018

Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.

Place : Inria de Paris - 2 rue Simone IFF 75012 - Batiment C- Salle Lions 2

Guest(s) : Éric Tanter (University of Chile)

Keywords:

lire la suite

Summer School

VTSA Summer School 2018

27/08/2018 to 31/08/2018

The summer school on verification technology, systems & applications takes place at Inria Center Nancy, France from August 27 - August 31, 2018

lire la suite

Event

ABPDE III

28/08/2018 to 31/08/2018

The 3rd International conference ABPDE III  will be held from August 28th to 31st at Lilliad in Villeneuve d'Ascq. This conference is  co-organised by the Rapsodi Team.

Place : Lilliad, cité scientifique, Villeneuve d'Ascq

Keywords:

lire la suite

Event

ESUG 2018

10/09/2018 to 14/09/2018

The 26th ESUG conference/summer-school will be held in Cagliari, Italy 10-14 September 2018; with Camp Smalltalk 8-9 September 2018. The conference is co-organised by University of Cagliari and the Agile Group of the Faculty of computer science and the Rmod Team.

Place : University of Cagliari, Italy

Keywords:

lire la suite

Tower of Lille city hall © maxime dufour photographies

Event

CASC 2018

17/09/2018 to 21/09/2018

The 20th International Workshop in Computer Algebra in Scientific Computing, CASC 2018, will be held in the city of Lille, France, on September 17-21, 2018.This workshop is co-organized by Institut of Mathematics, University of Kassel and University of Lille. The member of the team Gaïa are the local organiser.

Place : Lilliad, cité scientifique, Villeneuve d'Ascq

Keywords:

lire la suite

Conference

Artificial Intelligence : Conference

20/09/2018

Artificial Intelligence (AI) is a multi-disciplinary research field, at the interface of computing, applied mathematics and cognitive sciences. The purpose of AI is the mechanization of tasks that require knowledge and skills in perception, reasoning and decision-making. This field, still young although in its sixties, has made a lot of progress, which is frequently mentioned in the media, sometimes with exaggeration about its possibilities and dangers.

The conference is in French

Place : IUT Charlemagne

Guest(s) : Malik Ghallab

lire la suite

Young mathematician symposium

24/09/2018 to 25/09/2018

The symposium for young researchers in mathematics in the Greater Region will take place in the centre from 24 to 25 September 2018

Place : Inria Nancy - Grand Est

lire la suite

Event

VECoS 2018

26/09/2018 to 28/09/2018

VECoS 2018 will be held on 26-28 septembre 2018 at Université Grenoble Alpes in Grenoble, France. 
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science. Simon Bliudze member of the Spirals team is one of program co-chair.

Place : Université Grenoble Alpes

Keywords:

lire la suite

Event

EWRL 14

1/10/2018 to 3/10/2018

The  14th European workshop on Reinforcement Learning will be organised by SequeL Team. This workshop will be held from 1st to 3rd october at ENSAM in Lille.

Place : ENSAM, 8 boulevard Louis XIV 59800 Lille

Keywords:

lire la suite

Top