Partager Facebook LinkedIn Bluesky Threads Copier le lien Agenda Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 37 événements Filtres Dates Dates Du Au Appliquer Aujourd'hui 7 prochains jours 30 prochains jours Tout l'agenda Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Xavier Leroy (2018 - aujourd'hui) Domaines Domaines Mathématiques et sciences informatiques (37) Type d'enseignement Type d'enseignement Cours (48) (-) Séminaire (37) Colloque (3) Leçon inaugurale (1) Conférencier invité (1) Filtres actifs Xavier Leroy (2018 - aujourd'hui) Séminaire Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 20 avr 2023 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 08 fév 2024 Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15 15 fév 2024 Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15 22 fév 2024 Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15 29 fév 2024 Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15 07 Mar 2024 Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15 14 Mar 2024 Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15 Pagination Première page Page précédente Page 1 Page courante 2
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
Séminaire 11:15 - 12:15 Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Caroline Collange 08 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 fév 2024 11:15 - 12:15
Séminaire 11:15 - 12:15 Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle Delphine Demange 15 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 fév 2024 11:15 - 12:15
Séminaire 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 fév 2024 11:15 - 12:15
Séminaire 11:15 - 12:15 Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre Olivier Danvy 29 fév 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 fév 2024 11:15 - 12:15
Séminaire 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15
Séminaire 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Structures de contrôle : de « goto » aux effets algébriques Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15