09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
13:30 - 13:50 (20min)
Accueil
Distribution des badges
13:50 - 14:00 (10min)
Ouverture
Amphitéâtre MACI
14:00 - 15:00 (1h)
Keynote "Année Géométrie"
Amphitéâtre MACI
› Of Geometry in Computing
- Mathieu Desbrun, LIX, INRIA, Paris Saclay
14:00-15:00 (1h)
15:00 - 16:00 (1h)
Session Posters #1
Salle de convivialité MACI
https://jnim2024.sciencesconf.org/data/program/posters_lundi_2.pdf 16:00 - 16:30 (30min)
Pause café
Salle de convivialité MACI
16:30 - 18:00 (1h30)
Exposés de GT
Amphitéâtre MACI
› Introduction to local certification
- Laurent Feuilloley, LIRIS, CNRS, Lyon (GT Graphes)
16:30-17:15 (45min)
› How to rotate digital images without losing information ?
- Yukiko Kenmochi, GREYC, CNRS, Caen (GT GDMM)
17:15-18:00 (45min)
9:00 - 10:00 (1h)
Keynote
Amphitéâtre MACI
› Compatibility problems in quantum information: examples and algorithms
- Omar Fawzi, LIP, INRIA, Lyon
09:00-10:00 (1h)
10:00 - 10:30 (30min)
Pause café
Salle de convivialité MACI
10:30 - 12:00 (1h30)
Exposés de GT
Amphitéâtre MACI
› Monadic Second-Order Definable Context-Free Sets of Graphs
- Radu Iosif, Verimag, CNRS, Grenoble (GT VERIF)
10:30-11:15 (45min)
› Efficient enumeration of query answers via circuits
- Antoine Amarilli, Télécom Paris
11:15-12:00 (45min)
12:00 - 14:00 (2h)
Déjeuner
Salle J.-M. Chassery - laboratoire Gipsa-lab
14:00 - 18:00 (4h)
1/2 journée "Assistants de preuve"
› Proof Assistants : back on why and how ?
- Christine Paulin, LMF, Université Paris Saclay
14:00-15:00 (1h)
› Dans les Boyaux de mon Noyau
- Pierre-Marie Pédrot, LS2N
15:00-16:00 (1h)
› Table ronde: Enseigner avec les assistants de preuves.
-
16:30-18:00 (1h30)
16:00 - 16:30 (30min)
Pause café
Salle de convivialité MACI
9:00 - 10:00 (1h)
Keynote
Amphitéâtre MACI
› Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits : An overview
- Sébastien Tavenas, LAMA, CNRS, Chambéry
09:00-10:00 (1h)
10:00 - 10:30 (30min)
Pause café
Salle de convivialité MACI
10:30 - 12:00 (1h30)
Exposés de GT
Amphitéâtre MACI
› Encrypted search and weighted hashing
- Brice Minaud, ENS Paris, INRIA (GT C2)
10:30-11:15 (45min)
› Substitutions and Cantor real numeration systems
- Emilie Charlier, Université de Liège (GT SDA2)
11:15-12:00 (45min)
12:00 - 14:00 (2h)
Déjeuner
Salle J.-M. Chassery - laboratoire Gipsa-lab
14:00 - 15:00 (1h)
Keynote "Année Probabilités"
Amphitéâtre MACI
› Wandering on random digraphs
- Guillem Perarnau, Universitat Politecnica de Catalunya, Espagne
14:00-15:00 (1h)
15:00 - 16:00 (1h)
Session Posters #2
Salle de convivialité MACI
16:00 - 16:30 (30min)
Pause café
Salle de convivialité MACI
16:30 - 17:15 (45min)
Exposés de GT
Amphitéâtre MACI
› Experimentation on growth series of braids groups
- Jean Fromentin, LMPA, Université du Littoral Côté d'Opale, Calais) (GT CombAlg)
16:30-17:15 (45min)
17:15 - 18:45 (1h30)
Point Années thématiques + Intervention "CNRS Sciences Informatiques (Olivier Serre) + AG GdR IFM
› 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
17:15-18:45 (1h30)
19:15 - 22:00 (2h45)
Cocktail
Hall réception - Grenoble INP, 46 avenue Félix Viallet, Grenoble (proche de la gare)
9:00 - 10:00 (1h)
Keynote
Grenoble IAE - Amphi A
› Generating Point Sets of Small Star Discrepancy
- Carola Doerr, LIP6, CNRS, Paris
09:00-10:00 (1h)
10:00 - 10:30 (30min)
Pause café
Cafétéria Grenoble IAE
10:30 - 12:00 (1h30)
Exposés de GT
Grenoble IAE - Amphi A
› Hypotheses and Equations on Discrete Dynamical Systems
- Sara Riva, CRIStAL, Université de Lille (GT Bioss)
10:30-11:15 (45min)
› Open problems about the simplex method
- Sophie Huiberts, LIMOS, CNRS, Clermont-Ferrand (GT CoA)
11:15-12:00 (45min)
12:00 - 12:15 (15min)
Clôture
Grenoble IAE - Amphi A
