Les journ\u00e9es du matrimoine font \u00e9cho aux Journ\u00e9es du patrimoine organis\u00e9es chaque ann\u00e9e. Elles auront lieu cette ann\u00e9e les 20 et 21 septembre.<\/p>\n\n\n\n
Leur objectif ? Faire conna\u00eetre \u00ab\u00a0l’h\u00e9ritage des m\u00e8res\u00a0\u00bb et rendre visibles leurs oeuvres.<\/p>\n\n\n\n
Le F\u00e9ru des Sciences organise pour la 4e fois ces journ\u00e9es du matrimoine en mettant \u00e0 l’honneur des femmes scientifiques. Quatre scientifiques en sciences du num\u00e9rique du centre Inria de l’Universit\u00e9 de Lorraine et du Loria y participent : Rania Ait-Chabane, Cl\u00e9mence Bouvier, Marie Cousin et Marie Duflot-Kremer.<\/p>\n\n\n\n
\u00c0 partir d\u2019une th\u00e9orie linguistique et des grammaires, il est possible de d\u00e9velopper une logique qui permet de construire des expressions. Pour avoir un mur, on doit assembler plusieurs briques, en faisant attention \u00e0 leurs tailles pour qu’elles s’imbriquent correctement. Pour avoir une phrase correcte, il faut assembler plusieurs mots ou expressions en faisant attention aux autres mots ou expressions auxquels ils sont li\u00e9s !<\/p>\n
\u00c0 l\u2019aide d\u2019un jeu de plateau, pour lequel la chercheuse se transforme en ma\u00eetre du jeu et les visiteurs en participants, vous comprendrez le processus de g\u00e9n\u00e9ration des phrases qui se mettent en place quand nous communiquons. Et pour les plus petits qui apprennent \u00e0 lire, un jeu de construction de phrase sous forme d\u2019un puzzle en plexiglas pour expliquer la structure d’une phrase (sujet – verbe – compl\u00e9ment, etc.).<\/p>\n<\/li>\n
Comment prouver ce que l’on ne peut r\u00e9v\u00e9ler ?<\/strong> – Cl\u00e9mence Bouvier, charg\u00e9e de recherche Inria.\u00a0<\/p>\n<\/li>\n<\/ul>\n Comment prouver que vous savez o\u00f9 est Charlie sans r\u00e9v\u00e9ler sa position ? Ou encore comment prouver que vous savez r\u00e9soudre la grille d’un sudoku sans en r\u00e9v\u00e9ler la solution ? Autrement dit, est-il possible de prouver l\u2019exactitude d\u2019une information sans en d\u00e9voiler les moindres d\u00e9tails ? Vous d\u00e9couvrirez comment au travers de quelques jeux.<\/p>\n Apr\u00e8s un premier moment d\u2019interview avec Cl\u00e9mence Bouvier permettant de d\u00e9couvrir son parcours et ses recherches, les com\u00e9diennes improvisent une histoire \u00e0 partir de cette mati\u00e8re. La place est laiss\u00e9e \u00e0 l\u2019interaction : des questions et r\u00e9actions aux propos de la scientifique, et des interventions dans l\u2019histoire des improvisatrices.<\/p>\n Public\u00a0: familles, \u00e0 partir de 10 ans<\/p>\n Aider des aventuriers \u00e0 traverser une rivi\u00e8re avant de se faire attraper par un tigre, savoir si une personne qui a peur du noir peut atteindre un tr\u00e9sor, ou faire de la cuisine \u00e0 l’aide de formules magiques,… Et si la logique \u00e9tait la solution ? Au travers de jeux a priori sans lien entre eux, je vous propose d’entrer dans notre monde : celui de la v\u00e9rification formelle de logiciels.<\/p>\n Les plateformes d\u2019apprentissage en ligne se multiplient et proposent une grande vari\u00e9t\u00e9 de ressources. Comment personnaliser des parcours afin d\u2019accompagner chaque apprenant dans l\u2019atteinte de ses objectifs p\u00e9dagogiques de mani\u00e8re optimale ?<\/p>\n\n\n\n\n
21 septembre (14 h – 18 h)<\/strong><\/h1>\n
\n
\n