There are 29 Results with the keyword : "Inria Paris"
Research team seminar
Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.
Place : Inria de Paris - 2 rue Simone Iff 75012- Batiment C - Salle Jacques Louis Lions
Guest(s) : Raphaël Cauderlier
Research team seminary
The Bindlib library provides a set of tools for the manipulation of structureswith variable binding. It is very well suited for the representation of syntax trees, and has already been used for the implementation of several programming . languages and proof assistants (including a new version of the Dedukti logical
Place : Inria de Paris - 2 rue Simone Iff 75012 - Batiment C - Salle Lions 1
Guest(s) : Rodolphe Lepigre
Research team seminary
We propose an automatic method to infer high dynamic range illumination from a single, limited field-of-view, low dynamic range photograph of a scene.
Place : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions
Guest(s) : Jean - François Lalonde ( Université de Laval, Québec, Canada)
Chaire Louis Vuitton
The new Louis Vuitton chair of excellence on artificial intelligence was inaugurated today, Thursday 12 April 2018, at the ENS in Paris. Here we meet Ivan Laptev, project leader and Inria researcher in the joint project team Willow at the Computer Science department of the École Normale Supérieure (ENS Paris / Inria / CNRS).
The start-up Deepomatic, which develops a visual recognition solution, is joining the AI Factory programme - as revealed on Tuesday by Microsoft France during the presentation of its 2018 roadmap. The role of Microsoft AI Factory is to stimulate the emergence of French champions of artificial intelligence.
Although he defines himself as a DIY-engineer, Adrien Taylor explores the field of mathematical optimisation and its potential applications with an open and curious eye. Portrait of this young Belgian, whose thesis has won many prizes and who is a post-doctoral researcher in the Sierra project team at the Inria Paris centre.
Prix et distinction
Awards and distinctions
Fabrizio de Vico Fallani, a researcher with the Aramis project team - a joint Inria, CNRS and Sorbonne University team located at the French Brain and Spine Institute (ICM) - has just received the Junior Scientific Award from the Complex Systems Society. Meeting.