users:lbienven:index

Traductions de cette page
- Traductions de cette page
- Français
- English

S'identifier

Vous êtes ici
Pages personnelles
lbienven

Panneau latéral

Présentation de l'IRIF
Annuaire
Contacts et accès

Équipes de l'IRIF

Algorithmes et complexité
Algorithmique distribuée et graphes
Automates et applications
Combinatoire
Modélisation et vérification
Preuves, programmes et systèmes

Équipes-projets INRIA

GANG
πr²

Séminaire de l'IRIF
Algorithmes et complexité
Algorithmique distribuée et graphes
Automates
Combinatoire énumérative et analytique
Preuves, programmes et systèmes
Vérification
Séminaire des doctorants

Groupes de travail

Analyse et conception de systèmes
Catégories supérieures, polygraphes et homotopie
Combinatoire
Programmation
Sémantique
Sémantique et vérification
Théorie des types et réalisabilité

2016
2015 (LIAFA ou PPS)
2014 (LIAFA ou PPS)

Indentification requise

Informations pratiques
Conseil de laboratoire
Conseil scientifique de l'UFR
Wiki et pages personnelles

my webpage has moved here

ma page web a déménagé ici

users/lbienven/index.txt
Dernière modification: 03/11/2016 17:47
par lbienven