• Informations
    • Équipes de l'IRIF
    • Équipes-projets INRIA
    • Séminaires
    • Groupes de travail
    • Publications
    • Intranet
  • Traductions de cette page
    • Traductions de cette page
    • frFrançais
    • enEnglish
  • S'identifier

  1. Vous êtes ici
  2. Pages personnelles
  3. smimram

Panneau latéral

Informations

  • 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éminaires

  • 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é


Publications

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


Intranet

Indentification requise

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


Nom Samuel Mimram
Téléphone
Bureau
Mail smimram@pps.univ-paris-diderot.fr
Page web http://www.pps.univ-paris-diderot.fr/~smimram

  • users/smimram/index.txt
  • Dernière modification: 14/12/2015 15:41
  • (modification externe)