Sites Inria

Version française

Latest news

© Inria / WIMMICS

Inria Learning Lab

Two Moocs on Web technologies

4/02/2019 to 2/02/2020

Inria Learning Lab is opening two Moocs on Web technologies until 2019. One, in French, aims to provide training in data Web and Semantic Web standards; the other, in English, provides an introduction to related data standards and the principles behind the creation of the Semantic Web.

Place : FUN Platform

Guest(s) : Fabien Gandon, Olivier Corby et Catherine Faron-Zucker

Keywords:

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

16/12/2019

This talk presents Nomos, a programming language that has been designed from scratch to address the unique challenges of programming digital contracts: describing and enforcing protocols of interaction, controlling resource usage, and tracking linear assets.

Place : Conference Room Jacques-Louis Lions 1

Guest(s) : Jan Hoffmann, Carnegie Mellon University

Keywords:

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

18/12/2019

The DeepSpec research project is a cross institution, cross project investigation to push further the science of specification and verification of software artifacts. Its ambition is crystallized into four qualities that specifications should have: they should be rich, live, two-sided and formal.

Place : Room Jacques Louis Lions 2, building C

Guest(s) : Yannick Zakowski, University of Pennsylvania

Keywords:

lire la suite

Grand Place © Maxime Dufour photographies © Maxime Dufour photographies

Conference

ORBEL 34

30/01/2020 to 31/01/2020

The conference of ORBEL will take place in Lille at Centrale Lille, from 30 to 31 of January 2020. It is organised by INOCS Inria Lille-Nord Europe team.

Place : Centrale Lille, cité scientifique, Villeneuve d'Ascq

Keywords:

lire la suite

icropm

Symposium

Crop modelling symposium for Agriculture and Food Security under Global Change ICROPM 2020

5/02/2020

Four years after the first International Crop Modelling Symposium in Berlin (iCROPM2016), crop modelers from around the world will meet at the iCROPM2020 Symposium in Montpellier, France to exchange on advances in crop modelling and identify challenges and new opportunities for future research.

Place : Montpellier, France

Keywords:

lire la suite

Inria / Photo S. Erôme

Computer Algebra

Francophone Computer Algebra Days

2/03/2020 to 6/03/2020

The Francophone Computer Algebra Days (JNCF) will be held at the Centre International de Recherches Mathématiques (CIRM) at Luminy from March 2 to 6 2020. The JNCF are remarkable opportunity for researchers to discuss recent and ongoing work with their peers and an ideal opportunity for young researchers to present their results for the first time.

Place : CIRM (Marseille, France)

Keywords:

lire la suite

Top