 |
18-21 mars 2024 | Grenoble (France)
|
 |
|
|
|
|
Programme
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) |
| Personnes connectées : 1 | Vie privée |
|
