du 23 Mar 2023 → 20 avr 2023 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
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