Aller au contenu principal

Accès rapides

  • Agenda
  • Audiovisuel

Navigation principale

  • Enseignements
  • Recherche
  • Bibliothèques et archives
  • Éditions
  • Le Collège de France
    • L'institution et son histoire
    • Les chaires
    • Les prix scientifiques
    • Les grands événements
    • Programmes spécifiques
    • Diffusion numérique des savoirs
    • La Fondation du Collège de France
    • La Fondation Hugot
    • Université PSL
    • Formation doctorale
    • Offres d'emploi et stages
    • Actualités
    • Visiter le Collège de France

Accès rapides

  • Agenda
  • Audiovisuel
  • Facebook
  • Twitter
  • Linkedin
  • Copier le lien
Séminaire

Structures de données persistantes

du
23 Mar 2023  → 
20 avr 2023
Arbre binaire équilibré

Arbre binaire équilibré.

Associé à

Xavier Leroy, chaire Sciences du logiciel

Documents et médias

  • Télécharger le programme
    pdf (436.53 Ko)

Programme

Séminaire
23 Mar 2023
11:15 - 12:15
Séminaire
Tobias Nipkow

Verification of functional data structures: Correctness and complexity

Structures de données persistantes
Séminaire
30 Mar 2023
11:15 - 12:15
Séminaire
Jean-Christophe Filliatre

Structures de données semi-persistantes

Structures de données persistantes
Séminaire
06 avr 2023
11:15 - 12:15
Séminaire
KC Sivaramakrishnan

Mergeable replicated data types

Structures de données persistantes
Séminaire
13 avr 2023
11:15 - 12:15
Séminaire
Arthur Charguéraud

Transience : comment allier persistance et performance

Structures de données persistantes
Séminaire
20 avr 2023
11:15 - 12:15
Séminaire
Pierre-Etienne Meunier

Une algèbre de modifications, ou : le contrôle de versions pour tous

Structures de données persistantes

Fil d'Ariane

  1. Accueil
  2. Chaires actuelles
  3. Xavier Leroy, chaire Sciences du logiciel
  4. Cours, séminaires, colloques
  5. Structures de données persistantes

Accès direct

  • Actualités
  • Presse
  • Le Collège en 10 questions
  • Formation doctorale
  • Offres d'emploi et stages
  • Marchés publics
  • La Lettre du Collège
  • Visiter le Collège de France

Nos autres sites

  • Intranet
  • Omnia
  • Salamandre
  • Fondation du Collège de France
  • Programme PAUSE
  • Avenir Commun Durable
  • La Vie des idées
  • Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Footer menu

  • Accès et contacts
  • Mentions légales
  • Crédits
  • Accessibilité : non conforme