Programme des journées scientifiques 2016
Lundi 20 juin
– Accueil des participants dès 11 heures
– 12h00-13h15 Déjeuner sur place
– 13h15 Ouverture des JS2016
– 13h20 – 13h40 Introduction par Antoine Petit
– 13h40-14h55 Vérifier et corriger les logiciels
- Kim G.Larsen (Tamis, Rennes) : « From Pre-Verification and -Analysis to Post-Synthesis and -Optimization for Timed and Hybrid Systems »
- Jérôme Feret (Antique, Paris) : « An overview of the Astrée/AstréeA analyzer »
- Martin Monperrus (Makitoo, Lille) : « Hotpatching for production bugs »
- 180s Valérie Viet Triem Tong (Cidre, Rennes) : « Helping malware to execute themselves »
– 14h55 – 15h55 Keynote
Henri Verdier (DINSIC – Etalab) : « Révolution de la donnée et transformation de l’action publique ».
En savoir plus sur Henri Verdier / Son blog
– 15h55 – 16h20 Pause
– 16h20 – 18h15 Apprentissage et Big Data
- Cordelia Schmid (Thoth, Grenoble) : « Automatic Understanding of the Visual World »
- Francis Bach (Sierra, Paris) : « Optimisation et apprentissage à grande échelle »
- 180s Gilles Simon (Magrit, Nancy) : « Extraction de points de fuite orthogonaux »
- Ioana Manolescu (Cedar, Saclay) : « Rich content integration architectures for data journalism »
- Shadi Ibrahim ( Kerdata, Rennes) : « Big Data Management at Scale »
- Anne-Marie Kermarrec (Mediego, start-up, Rennes) : « Online Personalization : From the lab to the wild »
– 18h30 Départ en bus pour le dîner-concert au château d’Apigné (retour 22h30)
Mardi 21 juin
– 08h30 Début de session
– 08h30-10h30 Modélisation pour la biologie et la médecine
- Marie Doumic (Mamba, Paris) : « Quels modèles pour l’agrégation de protéines ? »
- Gregory Batt (Lifeware, Saclay) : « Estimation de paramètres au niveau de la cellule unique, ce que la population nous apprend sur les individus. »
- Irène Vignon (Reo, Paris) : « Écoulements numériques dans nos vaisseaux et nos bronches : défis et applications ».
- Christophe Godin (Virtual Plants, Sophia) : « La phyllotaxie, des motifs biologiques remarquables dans l’ordre comme dans le désordre ».
- Alexis Joly (Zenith, Sophia) : « Vers une modélisation des aires de répartition potentielle à partir des données Pl@ntNet »
- 180s Federica Garin (NeCS, Grenoble) : « Observability and controllability of network dynamical systems »
– 10h30-11h00 Pause
– 11h00-12h45 Simulation et assimilation de données
- Philippe Moireau (M3disim, Saclay) : « Au cœur de la météo du cœur ».
- Pietro Congedo (Cardamom, Bordeaux) : « Prédiction sous incertitudes d’écoulements hypersoniques autour de véhicules spatiaux pendant la rentrée atmosphérique ».
- Bruno Levy (Alice, Nancy) : « Principe de moindre action et transport optimal : de Maupertuis à Brenier ».
- Hélène Barucq (Magique-3D, Bordeaux) : « Simuler la propagation d’ondes pour voir et écouter »
- 180s Philippe Ciuciu (Parietal, Saclay) : « Échantillonnage compressif en IRM »
- 180s Stéphanie Chaillat (Poems, Sacaly) : «La simulation numérique pour comprendre ce qui fait vibrer les villes»
– 12h45-14h00 Déjeuner sur place
– 14h00-15h00 Keynote
Jean-Michel Besnier : « Le robot, otage du transhumanisme ? »
En savoir plus sur Jean-Michel Besnier
– 15h00-16h45 La robotique dans tous ses états
- Jean-Pierre Merlet (Hephaistos, Sophia) : « Robotique : de l’industrie aux services, l’exemple de la robotique d’assistance »
- Anne Spalanzani (Chroma, Grenoble) : « Navigation en environnement dynamique et humain pour l’assistance à la mobilité »
- Alexandre Krupa (Lagadic, Rennes) : « Guidage de sondes échographiques et d’aiguilles de biopsie par asservissement visuel utilisant l’imagerie ultrasonore »
- Jean-Baptiste Mouret (Larsen, Nancy) : « Apprentissage micro-data pour la résistance aux dommages »
- 180s Ludovic Hoyet (Mimetic, Rennes) : « Perceptual Effect of Shoulder Motions on Crowd Animations »
– 16h45-17h15 Pause
– 17h15-17h30 Intervention DG / DGD-S
– 17h30 -18h45 Vers une informatique ouverte et reproductible
- Arnaud Legrand (Polaris, Grenoble) : « Recherche reproductible : par où commencer ? »
- Roberto Di Cosmo (Software Heritage Project, Inria) : « Que faire avec des milliards de fichiers de code source ? Défis et opportunités dans l’archivage logiciel. »
- 180s Marielle Simon (Mephysto, Lille) : « La thermodynamique apprivoisée par le hasard »
- Bruno Tuffin (Dionysos, Rennes) : « Neutralité du Net »
– 19h00-21h00 Cocktail dînatoire sur place
Mercredi 22 juin matin
– 08h45 Début de session
– 08h45-10h30 L’éducation, nouveau territoire pour la recherche en numérique
- Jean-Marc Hasenfratz (Mooc Lab, DGD-S) – Introduction de la session : « L’e-éducation, un sujet en plein essor«
- Anke Brock (Potioc, Bordeaux) : « Nouvelles techniques d’interaction pour l’apprentissage : l’exemple des personnes mal-voyantes »
- Benoît Caillaud (Hycomes, Rennes) : « Synthèse et simulation de modèles de procédures chirurgicales pour la formation »
- Alessandro Lazaric (Sequel, Lille) : « Algorithmes séquentiels de recommandation au service de l’éducation/Sequential algorithms for recommendation in education »
- 180s Fernando Argelaguet Sanz (Hybrid, Rennes) : « Avatars and virtual embodiment: principles and latest results »
– 10h30-11h00 Pause
– 11h00-11h10 François Sillion (DGD-S) : « Tout ce que vous avez toujours voulu savoir sur nos activités de recherche »
– 11:10-12:30 Enjeux en informatique quantique et cyber-securité
- Mazyar Mirrahimi (Quantic, Paris) : « The quest for the long-lived quantum bit » .
- André Chailloux (Secret, Paris) : « Quantum Information Processing ».
- Jean-Louis Lanet (Tamis, Rennes) : « When the environment does not play the game »
- 180s Martine Olivi (Apics, Sophia) : « Le mythe de la caverne revisité »
– 12h30 Clôture des JS2016
– 12h40 Départs (et distribution des lunch box s/commande)
