du Jeudi 23 mars au Jeudi 20 avril 2023 Voir aussi : Cours associéXavier Leroy Arbre binaire équilibré. Documents et médias Télécharger le programme pdf (436.53 Ko) Programme Cours 09:30 - 11:00 Rien ne se perd, tout se crée : introduction aux structures de données persistantes Xavier Leroy 09 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00 Cours 09:30 - 11:00 Arbres équilibrés + copie de branches = dictionnaires persistants Xavier Leroy 16 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00 Cours 09:30 - 11:00 Concilier amortissement et persistance : de l'importance de la paresse Xavier Leroy 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00 Séminaire 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15 Cours 09:30 - 11:00 Comment rendre persistante une structure impérative ? Xavier Leroy 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00 Séminaire 11:15 - 12:15 Structures de données semi-persistantes Jean-Christophe Filliâtre 30 Mar 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15 Cours 14:00 - 15:30 Systèmes de numération et types non réguliers Xavier Leroy 07 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2023 14:00 - 15:30 Séminaire 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Avr 2023 15:45 - 16:45 Cours 09:30 - 11:00 De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc. Xavier Leroy 13 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Avr 2023 09:30 - 11:00 Séminaire 11:15 - 12:15 Comment allier persistance et performance Arthur Charguéraud 13 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Avr 2023 11:15 - 12:15 Cours 09:30 - 11:00 À la recherche du vecteur perdu : limites théoriques et conclusions Xavier Leroy 20 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Avr 2023 09:30 - 11:00 Séminaire 11:15 - 12:15 Une algèbre de modifications, ou : le contrôle de versions pour tous Pierre-Etienne Meunier 20 Avr 2023 Structures de données persistantes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Avr 2023 11:15 - 12:15 Voir aussi Cours en relation avec le séminaire : Structures de données persistantes Xavier Leroy, chaire Sciences du logiciel
