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) |