Sites Inria

There are 8 Results with the keyword : "Sciences"

©INRIA / Photo-Kaksonen ©Inria / Photo-Kaksonen

Applied Mathematics

Researchers passionate about mathematics

Françoise breton - Technoscope - 8/03/2010

To mark International Women’s Day, two of Inria’s female staff, an experienced researcher and a young PhD student, tell us about their passion for their work. Interview with Catherine Bonnet, Head of the DISCO team and member of the board of the association ‘Femmes et mathématiques’, and Céline Blondeau, a PhD student in the SECRET project-team.

Keywords:

Home > News > News from Inria > Chercheuses passionnées de mathématiques

More

ReproSciences2015 ReproSciences2015

Evénement

ReproSciences 2015

13/04/2015 to 15/04/2015

ReproSciences 2015 a pour objectif de réunir l’ensemble de la communauté française travaillant dans le champs des sciences de la reproduction, que ce soit dans le domaine de la recherche fondamentale ou de la recherche appliquée. Cet événement a pour ambition de présenter un panorama aussi large et complet que possible des recherches menées sur le territoire national au sein des différents instituts de recherche. Cette manifestation est donc la première du genre organisée en France, mais elle a pour vocation d’être rééditée, tous les deux ans, dans d’autres villes françaises.

Place : Université de Rennes 1, sur le Campus de Beaulieu

Guest(s) : Marie Postel (LJLL, membre associée de Mycenae) et Philippe Michel (Centrale Lyon, membre associé de Dracula)

Keywords:

Home > Centre > Paris > Calendar > ReproSciences 2015

lire la suite

Scientific Culture Event

From science to Opera

17/11/2017 to 19/11/2017

Using multiple approaches, from science to the arts, from philosophy to technique, From science to Opera allows the time of a weekend to share knowledge, discoveries and imagination around the sciences. This event offers different activities for each audience: a family moment and general public, a moment for a more informed public, a professional time or even workshops for the school. Always in the idea of sharing, discovering and surprising.

Keywords:

Home > Centre > Saclay > Calendar > De la science à l'Opéra

lire la suite

Scientific culture

Inria is at the Palais de la Découverte

27/02/2018

On 13 March, the Palais de la Découverte will open its new permanent exhibition on computer science and the digital sciences.Organised in partnership with Inria, it offers a panoramic view of these disciplines. Vincent Blech, museographer for Universcience, and Laurent Viennot, research director at the Inria centre in Paris and scientific curator, tell us how the project came together.

Keywords:

Home > Centre > Paris > News > Inria s’invite au Palais de la découverte

More

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

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Research Teams' Seminar

Prosecco Seminar

27/11/2019

We present a new way of embedding functional languages into the Coq proof assistant by using meta-programming. This allows us to develop the meta-theory of the language using the deep embedding and provides a convenient way for reasoning about concrete programs using the shallow embedding.

Place : Room C434 (Building C), Inria de Paris

Guest(s) : Bas Spitters (Concordium Blockchain Research Center, Aarhus University)

Keywords:

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

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:

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

lire la suite

Scientific mediation

"Rendez-vous des Jeunes Mathématiciennes et Informaticiennes" Event 2019

Axelle Balekdjian (*) - 25/11/2019

Monday 28th October marked the beginning of a new edition of the Rendez-vous des Jeunes Mathématiciennes et Informaticiennes event, organised at the Inria centre in Paris by the associations Animath and Femmes et Mathématiques. Over two days, it was our pleasure and privilege to welcome the 20 female school pupils from across France whose applications had been successful, and to share with them the very essence of Inria: scientific research. Let’s take a look back at those two days.

Keywords:

Home > Centre > Paris > News > Rendez-vous des Jeunes Mathématiciennes et Informaticiennes 2019

More

Top