Sites Inria

There are 5 Results with the keyword : "Inria Paris"

Start-up

The startup Antescofo is finalist in the SXSW Accelerator Pitch Event

A.A. (*) - 6/02/2018

Barely four months after the introduction of Metronaut, its first mobile application, Antescofo, a startup spun off from Inria’s Paris research centre, is one of the five finalists in the Entertainment and Content Technologies category of SXSW’s Accelerator Pitch Event. What is Metronaut’s goal? Making artificial intelligence available to musicians so they never have to play alone.

Keywords:

Home > Centre > Paris > News > La start-up Antescofo finaliste du concours de pitch officiel de SXSW

More

© 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:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© www.korkeasaari.fi/helsinki-zoo/

Research

Ambiciti measures the animal noise exposure of the Helsinki Zoo

19/03/2018

What kind of impact does the city noise have on tigers and other zoo occupants? Helsinki Zoo and Forum Virium Helsinki, the innovation unit of the City of Helsinki, are using smart technology to study the noise experienced by animals and its impacts in collaboration with Inria, the French national research institute on digital sciences and technologies and Ambiciti, a global environmental data service startup company.

Keywords:

Home > Centre > Paris > News > Ambiciti mesure l’exposition au bruit des animaux du zoo d’Helsinki

More

© INRIA Sophie Auvin - P comme Protocole

Research team seminary

Prosecco Seminary

23/07/2018

Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems programming. At the heart of its design lies a novel approach to ownership that remains highly programmable.

Place : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions

Guest(s) : Aaron Weiss (Northeastern University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team seminary

Gallium Seminary

8/10/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 - Bâtiment C - Salle Lions

Guest(s) : Eric Tanter ( University of Chile & Inria de Paris )

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Top