Programme

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)

 

Les commentaires sont clos.