Évaluation HCERES - 28 au 30 Novembre 2023 (vague D) Composition du comité d'évaluation Didier Galmiche (Professeur à l’Université de Lorraine, LORIA, président du comité) David Delahaye (Professeur à l'Université de Montpellier, LIRMM, représentant CNU 27) Pierre Senellart (Professeur des Universités, ENS, Université PSL, DI ENS, CoNRS) Djemilia Cavret (Ingénieur de recherche au CNRS, LIRIS, représentant PAR) Philippe Duchon (Professeur à l'Université de Bordeaux, LABRI, membre du comité) Nathalie Aubrun (CNRS, Université Paris-Saclay, LISN, membre du comité) Anne-Marie Kermarrec (Professeur à l'EPFL, SACS, membre du comité) Paul Dorbec (Professeur des université, Université Caen Normandie, GREYC, membre du comité) Claude Jard (Professeur honoraire de l'université de Nantes, membre du comité) Ralph Matthes (Chargé de recherche HDR du CNRS, IRIT, membre du comité) Michael Rao (Directeur de recherche au CNRS, LIP, membre du comité) Catherine Berrut (Professeur à l'Université Grenoble Alpes, CS) Visite du comité sur site (28-30 novembre 2023) L'évaluation sera réalisée dans la salle Turing du bâtiment Sophie Germain. Mardi 28 novembre 08h00 Accueil du comité 08h15 Réunion à huis clos des membres du comité (salle 3052 ou 4052-PCQC) 10h15 Distribution des badges (foyer Salle Turing) 10h45 Introduction de la visite par le CS du Hcéres 10h55 Présentation du bilan et de la trajectoire de l’unité par le directeur de l’unité Frédéric Magniez, Giuseppe Castagna (slides) 11h55 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) 12h55 Déjeuner (jury seul) 13h55 Créneau SCIENCE : - Valérie Berthé - “A dynamical view on fair assignments” (slides) - Geoffroy Couteau - “Secure Computation - Protecting the privacy of data used in distributed computations” (slides) - Delia Kesner - “Quantitative Types for Higher-Order Languages” (slides) [en parallèle, en salle 3052, rencontre du PAR avec les équipes administratives et techniques] 15h55 Pause café (foyer Salle Turing) 16h25 ASV : présentation du pôle. Olivier Carton. (slides) 16h32 ASV : Équipe Automates et applications. Sylvain Schmitz (Focus: Gaëtan Douéneau-Tabot). 17h05 ASV : Équipe Modélisation et vérification. Eugène Asarin (Focus : Peter Habermel). 17h35 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) Mercredi 29 novembre 08h00 Accueil du comité 08h15 ASD : présentation du pôle. Guillaume Chapuy. (slides) 08h22 ASD : Équipe Algorithmes et complexité. Sophie Laplante (Focus : Claire Mathieu). (slides) 08h55 ASD : Équipe Calcul distribué. Pierre Fraigniaud. (slides) 09h25 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) 10h25 Pause café (espace commun 4ème étage) 10h55 ASD : Équipe Combinatoire. Enrica Duchi (Focus: Matthieu Josuat-Vergès). (slides) 11h30 Rencontre avec les représentants du personnel : doctorants, postdoctorants. (salle 3052) 12h00 Session Poster avec restauration de type buffet pour tous (Bibliothèque 8ème étage) 13h30 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) 14h30 ASD : Équipe Théorie et algorithmique des graphes. Reza Naserasr. (slides) 15h05 Rencontre avec les représentants du personnel : EC et C. (salle 3052) 15h35 Pause café (espace commun 4ème étage) 16h05 Rencontre avec la direction de l’UFR. Présence : membres du Comité, CS du Hcéres (salle 3052) 16h20 Rencontre avec les représentants du personnel : personnels administratifs et techniques. (salle 3052) 16h50 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) Jeudi 30 novembre 08h00 Accueil du comité 08h15 PPS : présentation du pôle. Hugo Herbelin. (slides) 08h22 PPS : Équipe Algèbre et calcul. Thomas Ehrhard (Focus : Paul-André Melliès). (slides) 08h55 PPS : Équipe Preuves et programmes. Claudia Faggian (Focus: Alexis Saurin). (slides) 09h25 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) 10h25 Pause café (espace commun 4ème étage) 10h55 PPS : Équipe Analyse et conception de systèmes. Pierre-Évariste Dagand (Focus : Samy Abbes). (slides) 11h30 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC) 12h30 Déjeuner (jury seul) 13h15 Réunion du comité avec les représentants des tutelles. (salle 3052) 14h00 Réunion du comité avec la direction de l’unité et le porteur du projet. (salle 3052) 14h30 Réunion du comité à huis clos (salle 3052 ou 4052-PCQC)