Visite des étudiants ENS Paris-Saclay au LIG

Lieu: batiment IMAG

Campus de Grenoble Saint-Martin d'Hères, Batiment IMAG, amphitheatre (rez-de-chaussé, en entrant à droite). Accès

Date: lundi 27 novembre 2023.

Programme

• 9h00 - 9h15 : Présentation de VERIMAG et du LIG par les directeurs
• 9h30 - 11h30: exposés scientifiques (6*20)

  Jérôme David, (LIG/MOEX) : Évolution culturelle des connaissances
  Gregor Goessler, (LIG/SPADES) : Causal analyses and explanations for embedded systems
  Alain Tchana, (LIG/ERODS): MiLK Micro-Linux Kernel
  Didier Donsez, (LIG/ERODS) et Olivier Alphand, (LIG/Drakkar): Toujours plus haut ou Thingsat, un véhicule de recherche pour l'expérimentation in-vivo de l'Internet des Objets par Satellite (aka SatIoT)
  Alix Goguey, (LIG/IIHM) : Les enjeux de l'Interaction Humain-Machine
  Eric Gaussier et Émilie Devijver: Discovery of and reasoning with incomplete causal graphs
  

• Repas + rencontres
• 13h - 14h20: exposés scientifiques (4*20)

Guillaume Iooss (LIG/CORSE) : Complexité I/O
Emmanuel Beffara (LIG/MeTAH) : Enseignement de l'informatique et les enjeux de recherche associés.
Pierre Genevès et Luisa Werner (LIG/TYREX ): Graph information extraction et neuro-symbolic AI


• Pause
• 14h45-15h45: exposés scientifiques (3*20)

Sylvain Boulmé (VERIMAG): Preuve formelle de logiciel: l'exemple du compilateur CompCert
JF Monin (VERIMAG) : Preuves formelles autour de Coq
Nicolas Peltier (LIG/CAPP) : Procédures de preuve pour le raisonnement diagrammatique