du 23 Mar 2023 → 20 avr 2023 Arbre binaire équilibré. Associé à Cours en relation avec le séminaire : Structures de données persistantes 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 Filliâtre Structures de données semi-persistantes Structures de données persistantes Séminaire 07 avr 2023 15:45 - 16:45 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 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
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 Filliâtre Structures de données semi-persistantes Structures de données persistantes
Séminaire 07 avr 2023 15:45 - 16:45 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 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