Sites Inria

Version française

See all appointments

© INRIA Sophie Auvin - G comme Grille

Research team seminary

Gallium Seminary

1/10/2018

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
framework).

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

Guest(s) : Rodolphe Lepigre

Keywords:

lire la suite

Médiation scientifique

Fête de la science 2018 - Sorbonne universités

12/10/2018 to 14/10/2018

Depuis 2014, Sorbonne Universités réunit ses chercheurs au cœur du campus de Jussieu pour y célébrer la Fête de la science au mois d’octobre. Cette manifestation permet à chacun et chacune de rencontrer les acteurs des sciences issus de tous les établissements membres de Sorbonne Universités.

En phase avec l’objectif d'excellence scientifique de Sorbonne Universités, son village des sciences a pour but de valoriser les problématiques scientifiques de sa communauté autour des enjeux de demain.

Place : Campus Jussieu - 4 place Jussieu 75005 Paris

Keywords:

lire la suite

Top