lundi 18 mars 2024

Heures événement (+)
13:30 - 13:50 Accueil - Distribution des badges  
13:50 - 14:00 Ouverture (Amphitéâtre MACI)  
14:00 - 15:00 Keynote "Année Géométrie" (Amphitéâtre MACI) (+)  
14:00 - 15:00 › Of Geometry in Computing - Mathieu Desbrun, LIX, INRIA, Paris Saclay  
15:00 - 16:00 Session Posters #1 (Salle de convivialité MACI)
 
16:00 - 16:30 Pause café (Salle de convivialité MACI)  
16:30 - 18:00 Exposés de GT (Amphitéâtre MACI) (+)  
16:30 - 17:15 › Introduction to local certification - Laurent Feuilloley, LIRIS, CNRS, Lyon (GT Graphes)  
17:15 - 18:00 › How to rotate digital images without losing information ? - Yukiko Kenmochi, GREYC, CNRS, Caen (GT GDMM)  

mardi 19 mars 2024

Heures événement (+)
09:00 - 10:00 Keynote (Amphitéâtre MACI) (+)  
09:00 - 10:00 › Compatibility problems in quantum information: examples and algorithms - Omar Fawzi, LIP, INRIA, Lyon  
10:00 - 10:30 Pause café (Salle de convivialité MACI)  
10:30 - 12:00 Exposés de GT (Amphitéâtre MACI) (+)  
10:30 - 11:15 › Monadic Second-Order Definable Context-Free Sets of Graphs - Radu Iosif, Verimag, CNRS, Grenoble (GT VERIF)  
11:15 - 12:00 › Efficient enumeration of query answers via circuits - Antoine Amarilli, Télécom Paris  
12:00 - 14:00 Déjeuner (Salle J.-M. Chassery - laboratoire Gipsa-lab)  
14:00 - 18:00 1/2 journée "Assistants de preuve" (+)  
14:00 - 15:00 › Proof Assistants : back on why and how ? - Christine Paulin, LMF, Université Paris Saclay  
15:00 - 16:00 › Dans les Boyaux de mon Noyau - Pierre-Marie Pédrot, LS2N  
16:30 - 18:00 › Table ronde: Enseigner avec les assistants de preuves. - Yannick Zakowski - INRIA, ENS Lyon, Julien Narboux - Université de Strasbourg, Micaela Mayero - Sorbonne Paris Nord, Pierre Rousselin - Sorbonne Paris Nord, Riccardo Brasca - Université Paris-Cité  
16:00 - 16:30 Pause café (Salle de convivialité MACI)  

mercredi 20 mars 2024

Heures événement (+)
09:00 - 10:00 Keynote (Amphitéâtre MACI) (+)  
09:00 - 10:00 › Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits : An overview - Sébastien Tavenas, LAMA, CNRS, Chambéry  
10:00 - 10:30 Pause café (Salle de convivialité MACI)  
10:30 - 12:00 Exposés de GT (Amphitéâtre MACI) (+)  
10:30 - 11:15 › Encrypted search and weighted hashing - Brice Minaud, ENS Paris, INRIA (GT C2)  
11:15 - 12:00 › Substitutions and Cantor real numeration systems - Emilie Charlier, Université de Liège (GT SDA2)  
12:00 - 14:00 Déjeuner (Salle J.-M. Chassery - laboratoire Gipsa-lab)  
14:00 - 15:00 Keynote "Année Probabilités" (Amphitéâtre MACI) (+)  
14:00 - 15:00 › Wandering on random digraphs - Guillem Perarnau, Universitat Politecnica de Catalunya, Espagne  
15:00 - 16:00 Session Posters #2 (Salle de convivialité MACI)
 
16:00 - 16:30 Pause café (Salle de convivialité MACI)  
16:30 - 17:15 Exposés de GT (Amphitéâtre MACI) (+)  
16:30 - 17:15 › Experimentation on growth series of braids groups - Jean Fromentin, LMPA, Université du Littoral Côté d'Opale, Calais) (GT CombAlg)  
17:15 - 18:45 Point Années thématiques + Intervention "CNRS Sciences Informatiques (Olivier Serre) + AG GdR IFM (+)  
17:15 - 18:45 › Interventions - Olivier Serre, CNRS Sciences Informatiques - Guillaume Theyssier, Institut de mathématiques de Marseille, CNRS - Frédéric Magniez, IRIF, CNRS - Jacques-Olivier Lachaud, LAMA, Université Savoie-Mont-Blanc  
19:15 - 22:00 Cocktail (Hall réception - Grenoble INP, 46 avenue Félix Viallet, Grenoble (proche de la gare))  

jeudi 21 mars 2024

Heures événement (+)
09:00 - 10:00 Keynote (Grenoble IAE - Amphi A) (+)  
09:00 - 10:00 › Generating Point Sets of Small Star Discrepancy - Carola Doerr, LIP6, CNRS, Paris  
10:00 - 10:30 Pause café (Cafétéria Grenoble IAE)  
10:30 - 12:00 Exposés de GT (Grenoble IAE - Amphi A) (+)  
10:30 - 11:15 › Hypotheses and Equations on Discrete Dynamical Systems - Sara Riva, CRIStAL, Université de Lille (GT Bioss)  
11:15 - 12:00 › Open problems about the simplex method - Sophie Huiberts, LIMOS, CNRS, Clermont-Ferrand (GT CoA)  
12:00 - 12:15 Clôture (Grenoble IAE - Amphi A)