==== É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**.

|              | **<color red>Mardi 28 novembre</color>**         |     
| **08h00**    | Accueil du comité         | 
| **08h15**    | Réunion à huis clos des membres du comité (salle 3052 ou 4052-PCQC)        |             
| **10h15**    | <color green>Distribution des badges (foyer Salle Turing)</color>         | 
| **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// ({{ :informations:hceres-labo-anim.pdf |slides}})        |
| **11h55**    | Réunion du comité à huis clos   (salle 3052 ou 4052-PCQC)      |
| **12h55**    | <color blue>Déjeuner (jury seul)</color>         |
| **13h55**    | Créneau SCIENCE :\\ - //Valérie Berthé - “A dynamical view on  fair assignments” {{ :informations:valerie-berthe.pdf |(slides)}}// \\ - //Geoffroy Couteau - "Secure Computation - Protecting the privacy of data used in distributed computations" {{ :informations:geoffroy-couteau.pdf |(slides)}}// \\ - //Delia Kesner - "Quantitative Types for Higher-Order Languages" {{ :informations:delia-kesner.pdf |(slides)}}//  \\ [en parallèle, en salle 3052, rencontre du PAR avec les équipes administratives et techniques]      |
| **15h55**    | <color green>Pause café (foyer Salle Turing)</color>         |
| **16h25**    | ASV : présentation du pôle. //Olivier Carton//. {{ :informations:hceres-pole-asv-full-v4.pdf |(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)       |
|              | **<color red>Mercredi 29 novembre</color>**         |     
| **08h00**    | Accueil du comité         | 
| **08h15**    | ASD : présentation du pôle. //Guillaume Chapuy//. {{ :informations:hceres-pole-asd-v3.pdf |(slides)}}  |    
| **08h22**    | ASD : Équipe Algorithmes et complexité. //Sophie Laplante (Focus : Claire Mathieu)//. {{ :informations:hceres-eqth_algocomp.pdf |(slides)}}  |    
| **08h55**    | ASD : Équipe Calcul distribué. //Pierre Fraigniaud//. {{ :informations:hceres-eqth-calcul-distribue.pdf |(slides)}} |
| **09h25**    | Réunion du comité à huis clos (salle 3052 ou 4052-PCQC)|                
| **10h25**    | <color green>Pause café (espace commun 4ème étage)</color>          | 
| **10h55**    | ASD : Équipe Combinatoire. //Enrica Duchi (Focus: Matthieu Josuat-Vergès)//.  {{ :informations:combi-v2.pdf |(slides)}}       |
| **11h30**    | Rencontre avec les représentants du personnel : doctorants, postdoctorants.   (salle 3052)    |
| **12h00**    | <color blue>Session Poster avec restauration de type buffet pour tous (Bibliothèque 8ème étage)</color>         |
| **13h30**    | Réunion du comité à huis clos   (salle 3052 ou 4052-PCQC)       |
| **14h30**    | ASD : Équipe Théorie et algorithmique des graphes.  //Reza Naserasr//.    {{ :informations:hceres-graphes.pdf |(slides)}}    |
| **15h05**    | Rencontre avec les représentants du personnel : EC et C.  (salle 3052)       |
| **15h35**    | <color green>Pause café (espace commun 4ème étage) </color>         |
| **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)      |
|              | **<color red>Jeudi 30 novembre</color>**         |
| **08h00**    | Accueil du comité         | 
| **08h15**    | PPS : présentation du pôle. //Hugo Herbelin//.    {{ :informations:hceres-pole-pps-v2.pdf |(slides)}}    |  
| **08h22**    | PPS : Équipe Algèbre et calcul. //Thomas Ehrhard (Focus : Paul-André Melliès)//.    {{ :informations:slides-ac-v2.pdf |(slides)}}      |  
| **08h55**    | PPS : Équipe Preuves et programmes. //Claudia Faggian (Focus: Alexis Saurin)//.     {{ :informations:slides_preuves_v2.pdf |(slides)}}     |
| **09h25**    | Réunion du comité à huis clos   (salle 3052 ou 4052-PCQC)       |                 
| **10h25**    | <color green>Pause café (espace commun 4ème étage)</color>         | 
| **10h55**    | PPS : Équipe Analyse et conception de systèmes. //Pierre-Évariste Dagand (Focus : Samy Abbes)//.  {{ :informations:slides-systemes-v2.pdf |(slides)}}        |
| **11h30**    | Réunion du comité à huis clos   (salle 3052 ou 4052-PCQC)       |
| **12h30**    | <color blue>Déjeuner (jury seul)</color>         |
| **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)     |