BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200305T140000
DTEND;TZID=Europe/Paris:20200305T170000
DTSTAMP:20260521T021438
CREATED:20200221T135545Z
LAST-MODIFIED:20200224T103507Z
UID:9111-1583416800-1583427600@www.loria.fr
SUMMARY:Soutenance de thèse par Margaux Duroeulx
DESCRIPTION:Sujet : « Evaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité » . \nCelle-ci se déroulera le jeudi 5 mars à 14h00 dans la Salle A008 du Loria.  Un pot aura lieu après la soutenance\, dans la salle club à côté de la caféteria. \nComposition du jury \nRapporteurs :\nDaniel LE BERRE\, Professeur\, CRIL\, Université d’Artois\nZineb SIMEU-ABAZI\, Professeure\, G-SCOP\, Université de Grenoble \nExaminateurs :\nSylvain CONCHON\, Professeur\, LRI\, Université Paris-Sud\nMarie DUFLOT\, Maîtresse de conférence\, LORIA\, Université de Lorraine\nJean-Marc FAURE\, Professeur\, LURPA\, Université Paris-Sud\nMarine MINIER\, Professeure\, LORIA\, Université de Lorraine \nDirecteur de thèse :\nStephan MERZ\, Directeur de recherche\, LORIA\, Université de Lorraine \nCo-directeur de thèse :\nNicolae BRÎNZEI\, Maître de conférence\, CRAN\, Université de Lorraine \nRésumé : \nLes travaux de cette thèse portent sur la conception des systèmes critiques\, dont le fonctionnement est impacté par des défaillances\, qui pourraient être dangereuses pour les biens et les personnes qui l’entourent. Lors de sa conception\, il est essentiel de réaliser une analyse de sûreté de fonctionnement pour déterminer les potentielles défaillances\, leur criticité et leur probabilité d’occurrence. Cette analyse permet de statuer sur la confiance qu’il est justifié d’accorder au système et de renforcer le système si nécessaire. L’objectif de cette thèse est de faire intervenir les techniques de satisfiabilité pour préparer le calcul de la fiabilité du système : sa probabilité d’assurer sa mission pour un temps donné. \nDans une première partie\, nous nous intéressons aux systèmes statiques\, ceux dont l’état (marche\, arrêt) ne dépend que de l’état de ses composants. Nous modélisons le système par un arbre de défaillances\, qui est un outil de modélisation très répandu dans la communauté de la sûreté de fonctionnement. La fonction de structure est une formule décrivant les combinaisons de défaillances qui sont tolérées ou non par le système\, qui peut être déterminée à partir de l’arbre de défaillances du système. Nous faisons appel aux techniques de satisfiabilité pour identifier les liens minimaux\, sous-ensembles des composants dont le fonctionnement garantit le fonctionnement du système. Nous modélisons également le système par un diagramme de Hasse\, qui représente l’état du système en fonction de l’état de ses composants. L’évaluation probabiliste du niveau de confiance accordé au système est basée sur le polynôme de fiabilité\, obtenu à partir du diagramme de Hasse. \nDans une seconde partie\, nous considérons les systèmes dits dynamiques\, pour lesquels l’ordre d’occurrence des défaillances impacte le fonctionnement du système. C’est par exemple le cas des générateurs électriques\, dont la défaillance prive de courant les autres composants et les empêche d’assurer leur fonction. Afin d’adapter aux systèmes dynamiques l’approche développée dans la première partie\, nous définissons les séquences de lien minimales\, extension des liens minimaux aux systèmes dynamiques\, que nous déterminons grâce aux techniques de satisfiabilité. Nous proposons également une adaptation du diagramme de Hasse aux systèmes dynamiques afin de déterminer leur fiabilité. \n\n  \nSubject :  » Assessment of reliability of systems modeled by fault tress thanks to satisfiability techniques  » . \nThis will take place on Thursday 5 of March at 2 pm in Room A008 in Loria. You are also invited to the buffet after the defense\, in the room near the cafeteria. \nJury Composition \nReviewers :\nDaniel LE BERRE\, Professeur\, CRIL\, Université d’Artois\nZineb SIMEU-ABAZI\, Professeure\, G-SCOP\, Université de Grenoble \nExaminers :\nSylvain CONCHON\, Professeur\, LRI\, Université Paris-Sud\nMarie DUFLOT\, Maîtresse de conférence\, LORIA\, Université de Lorraine\nJean-Marc FAURE\, Professeur\, LURPA\, Université Paris-Sud\nMarine MINIER\, Professeure\, LORIA\, Université de Lorraine \nThesis Director :\nStephan MERZ\, Directeur de recherche\, LORIA\, Université de Lorraine \nThesis co-Director :\nNicolae BRÎNZEI\, Maître de conférence\, CRAN\, Université de Lorraine \nAbstract: \nThis thesis focuses on designing critical systems\, those functioning is impacted by failures that could be dangerous for goods and people. During its design\, it is crucial to convey a dependability analysis in order to determine the potential failures\, their criticity and their probability of occurrence. The aim of this thesis is to involve satisfiability techniques in the computation of the reliability of the system : its probability to ensure its mission for a given time. \nIn the first part\, we consider static systems\, those for which the functioning only depends on the functioning of their components functioning. We model the system by a fault tree\, which is a widespread modeling tool in the reliability community\, from which we can obtain the structure function. The structure function is a formula discrisbing the combinations of components failure which are tolerated or not by the system. We also model the system by a Hasse diagram\, which represents the states of the system depending on the states of the components. The probabilistic assessment of the trust placed to the system is based on the reliability function determined from the Hasse diagram. \nIn the second part\, we consider dynamic systems\, for which the order between failures has an impact on the system. For example\, it is the case for electric generators\, which deprive the others components of electricity when they fail. In order to adapt to dynamic systems the approach developped of the first part\, we define minimal tie set sequences as the extension of minimal tie sets for dynamic systems\, and we compute them by using satisfiability techniques. We also propose an adaptation of hasse diagrams for dynamic systems to determine the reliability function. \n 
URL:https://www.loria.fr/event/soutenance-de-these-par-margaux-duroeulx/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200312T133000
DTEND;TZID=Europe/Paris:20200312T150000
DTSTAMP:20260521T021438
CREATED:20200306T154918Z
LAST-MODIFIED:20200306T154918Z
UID:9251-1584019800-1584025200@www.loria.fr
SUMMARY:Séminaire SSL par Emmanuel Thomé
DESCRIPTION:Le prochain séminaire SSL sera donné par Emmanuel Thomé\, de l’équipe CARAMBA le jeudi 12 mars\, à 13h30\, en salle A008. \nTitre : Large-scale computational records for public-key cryptography \nRésumé :\nJoint work with Fabrice Boudot\, Pierrick Gaudry\, Aurore Guillevic\, Nadia Heninger\, Paul Zimmermann. \nIn December 2019 and February 2020\, we completed several record computations related to hard problems in public-key cryptography: we factored a 240-digit RSA modulus\, we computed discrete logarithms modulo a 240-digit prime\, and while we were at it\, we also factored a 250-digit RSA modulus. Such records provide very important data points for the assessment of the computational hardness of the integer factorization (IF) and finite field discrete logarithm (DL) problems. These problems underpin the largest part of public-key cryptography that is currently in use. Previous records date back to 2016 (for DL) and 2009 (for IF). \nThis talk reports on how these computations were performed\, and on how we chose parameters for the Number Field Sieve algorithm in order to minimize the running time. We also give some data on the scalability of our approach\, and how it required harnessing a formidable computing power\, with thousands of CPU cores from several facilities\, working in parallel over several months. We also show that our work goes well beyond improving on previous records by using a lot of hardware: even if we had used identical hardware\, our larger computation would have been faster than the smaller\, previous record (for DL).
URL:https://www.loria.fr/event/seminaire-ssl-par-emmanuel-thome/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200324T133000
DTEND;TZID=Europe/Paris:20200324T150000
DTSTAMP:20260521T021438
CREATED:20200218T085343Z
LAST-MODIFIED:20200320T082756Z
UID:9047-1585056600-1585062000@www.loria.fr
SUMMARY:[Reporté] Colloquium Loria : Hugo Parlier
DESCRIPTION:Hugo Parlier\, chercheur en mathématiques à l’université du Luxembourg\, animera le colloquium du Loria le mardi 24 mars à 13h30 dans l’amphithéâtre. L’exposé sera en anglais. \nTitle: « Playing puzzles on complicated surfaces » \n  \nAbstract: This talk will be about a project aiming to illustrate geometry through puzzles. The puzzles are played on surfaces\, and have natural configuration graphs with a geometry of their own. These graphs are not completely unlike other combinatorial graphs used in the study of moduli spaces of surfaces (such as flip graphs) which can be visualized in similar ways. Certain parts of talk will be based on an ongoing project with Mario Gutierrez and Paul Turner\, and on another with Mark Bell and Lionel Pournin. \nLes personnes extérieures au laboratoire doivent s’inscrire auprès de annabelle.arena[@]loria.fr avant le lundi 23 mars. \nEn savoir plus sur les recherches de Hugo Parlier. \n\n\n\n\n\nLe colloquium Loria a pour objectif de mettre en lumière différentes thématiques de recherche en informatique sous la forme d’un exposé d’un scientifique de renom durant une heure comprenant un temps d’échange. Il est ouvert à tous et a lieu chaque mois au Laboratoire lorrain de recherche en informatique et ses applications.\n  \nVoir les précédents exposés.\nComment venir au Loria ?\n\n 
URL:https://www.loria.fr/event/colloquium-loria-hugo-parlier/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200326T083000
DTEND;TZID=Europe/Paris:20200326T170000
DTSTAMP:20260521T021438
CREATED:20200224T170745Z
LAST-MODIFIED:20200320T082740Z
UID:9163-1585211400-1585242000@www.loria.fr
SUMMARY:[Reportée] Journée SNT - NSI
DESCRIPTION:La journée SNT – NSI\, destinée aux enseignants du secondaire\, aura lieu au Loria le jeudi 26 mars 2020. \nInterventions\, exposés\, conférences ponctueront cette journée ainsi que des ateliers\, visant à approfondir certaines thématiques liées au numérique. \n \nInscriptions pour le 12 mars via ce lien. \nAu programme : \n8h45 – 9h00 : Accueil \n9h00 – 10h15 :  »Réintégrer les femmes dans les métiers du numérique : études de pratiques inclusives »\, par Isabelle Collet\, Maîtresse d’enseignement et de recherche en sciences de l’éducation à l’Université de Genève. \nL’informatique joue un rôle croissant dans l’évolution de nos sociétés\, mais les femmes sont largement sous-représentées dans ces métiers depuis plusieurs décennies. Pourtant\, dans les années 80\, l’informatique était un métier plutôt féminisé\, du moins\, pour un métier technique. Aujourd’hui\, en ce qui concerne les métiers au coeur de la tech\, les femmes sont moins de 15%. \nLa figure du geek sert souvent de bouc émissaire dans le sens où elle serait porteuse des représentations qui amèneraient les femmes à s’autocensurer. Or\, bien plus qu’une autocensure\, il s’agit d’une censure sociale qui écarte les filles et les femmes des sciences et techniques\, et plus particulièrement de l’informatique. Face à un phénomène systémique\, certaines universités ont obtenu de façon pérenne une représentation quasi paritaire dans les filières informatiques. L’objectif de cette intervention est de réfléchir aux pratiques incitatives efficaces et à leurs fondements théoriques\, afin de penser l’inclusion des femmes dans le monde professionnel de l’informatique comme un changement de culture et de pratiques. \nIsabelle Collet est informaticienne scientifique de formation. Elle a publié en 2019 « Les oubliées du numérique » aux Editions Le Passeur. Elle travaille sur la question du genre dans les sciences et techniques et également sur la manière de pratiquer une véritable pédagogie de l’égalité à l’école. \n10h15 – 10h30 : « Présentation du projet ‘1 scientifique – 1 classe : Chiche’ « \, par Erwan Kerrien\, chercheur\, et Véronique Poirel\, Chargée de médiation scientifique\, Inria. \n10h30 – 11h00 : Pause café \n11h00 – 13h : Ateliers – Session 1  \n13h – 14h : Pause déjeuner \n14h – 15h30 : Ateliers – Session 2  \n15h30 – 16h00 : Pause café \n16h00 – 16h20 :  » Sciences Numériques et Technologie (SNT) et Numérique et Sciences Informatiques (NSI)\, point sur l’académie de Nancy-Metz »\, par Mohammed Hayouni\, IPR. \n16h20 – 17h00 :  »Table ronde sur les formations informatiques postbac à l’Université de Lorraine et sur les pré-requis attendus à la sortie de terminale »\, présence d’enseignants du BUT informatique et MMI de Nancy-Charlemagne\, de la licence et de la classe préparatoire MPI de la FST\, de la licence MIASHS de l’IDMC.  \n17h00 : Fin de la journée \n— Exposition ‘De l’homo numericus au citoyen numérique’ — \nPossibilité pendant les temps libres de cette journée de visiter au Loria cette exposition : \nMaîtriser le numérique pour ne pas le subir\, c’est ce que propose cette exposition itinérante. Au travers d’animations ludiques\, elle aide le visiteur à se familiariser avec les concepts sur lesquels repose l’informatique (les informations\, les langages\, les algorithmes et les machines) et le sensibilise aux enjeux du numérique\, pour l’aider à devenir un citoyen éclairé sur ces questions. \nDescriptifs des ateliers : \nAtelier 1 : Blockly : prise en main de l’API – David LANGLOIS – session 1  \nBlockly est un ensemble de fonctionnalités javascript (API) permettant de manipuler des blocs graphiques pour rédiger des algorithmes. Les algorithmes peuvent alors être exécutés pour modifier un « monde » (par exemple: dépacer un robot dans un labyrinthe). Plusieurs applications web basées sur blockly existent (commehttps://blockly-games.appspot.com/turtle?lang=fr)\, qui permettent de découvrir les bases de l’algorithmique en résolvant des défis. L’atelier consiste à découvrir l’API afin de créer ses propres applications. Au cours de l’atelier\, le lien avec les programmes informatiques du lycée sera fait. Notamment\, on s’intéressera à l’articulation entre l’univers fermé des blocs graphiques de scratch\, et celui ouvert de blockly. On verra en quoi derrière blockly se cache un langage de programmation écrit\, du XML\, du javascript. Blockly peut-il être utilisé comme un retour aux sources (le scratch du collège) avec une prise de recul suite à la formation du lycée? L’atelier est destiné à des participants maîtrisant les bases de javascript. \n  \nAtelier 2 : SNT : robot Micro-Bit et activités Python\, échanges autour de la progression – Jérome METZLER – session 1 et/ou 2 \nL’atelier devrait être présenté en trois grandes parties. Une première partie\, axée sur le thème « Informatique embarquée et objets connectés »\, avec assemblage puis programmation d’un petit robot imprimé en 3D\, construit autour d’un Micro-Bit et piloté lui-même par un autre Micro-Bit. \nUne deuxième partie\, à la thématique plus large et ouverte sur les six autres thèmes de l’enseignement de seconde\, avec présentation de six activités relativement simples de programmation Python à faire avec les élèves en classe. \nUne troisième partie\, avec une ouverture plus générale sur l’ensemble du programme\, où une idée de progression réalisée sera présentée\, et surtout où les échanges et les discussions devraient permettre de pouvoir améliorer les progressions de chacun d’entre nous. \n  \nAtelier 3 :  Moteurs physiques\, jeux vidéos et simulateurs de comportement  – Vincent THOMAS – session 1 (ou 2) \nDe nombreuses applications numériques utilisent des moteurs physiques que ce soit pour avoir des réactions réalistes dans des jeux (déplacements dans Super Mario\, simulation de l’inertie du joueur dans les FPS\, …)\, pour proposer des simulateurs (pédagogiques comme algodoo ou professionnels) ou pour aider le développement d’animations 3D (moteur dans Blender\, …). Cet atelier cherchera à faire le lien entre la physique et l’informatique. (1) Dans un premier temps\, nous écrirons ensemble un moteur physique très simple constitué de quelques instructions (en Python avec la librairie pygame) et basé sur la mécanique du point (système masse-ressort). (2) Nous verrons ensuite comment l’étendre pour en faire un moteur de jeu vidéo. (3) Puis\, nous tirerons parti des lois de la physique pour aborder le domaine de l’Intelligence artificielle et simuler des comportements de foule inspirés de la biologie (boids et flocking) et utilisés dans de nombreux domaines (Dimensionnement de bâtiments\, Effets spéciaux\, …). \nLiens avec NSI : \n\nProjet étudiant: création de jeux vidéos temps réel (affichage\, lois d’évolution\, …)\, simulation de phénomènes physiques de première/terminale (chute des corps\, système ressorts\, …).\nTerminale: modélisation orientée objet (mais pas central à l’atelier).\n\nPage web de l’atelier : https://members.loria.fr/VThomas/mediation/ISN_moteur_2017/ (on reprendra ces éléments ensemble lors de l’atelier) \n  \nAtelier 4 : Labyrinthe et recherche de chemins – Vincent THOMAS – session 2 (ou 1) \nLes labyrinthes sont intéressants à étudier car ils constituent des cas typiques de problème de prise de décision dans lesquels un agent intelligent doit savoir raisonner sur le long terme: en effet\, pour décider quel couloir emprunter\, il faut déjà savoir ce qu’il sera possible de faire au bout des différents couloirs. \nAu cours de cet atelier\, on programmera ensemble (en python) l’algorithme de Lee\, un algorithme très simple permettant de construire le chemin le plus court dans un labyrinthe. En fonction du temps et des envies\, on pourra regarder les principes de l’algorithme classique A* qui permet d’améliorer grandement la recherche en utilisant une connaissance du problème et/ou étendre ces algorithmes pour construire des agents intelligents capable de raisonner sur le long terme dans des contextes divers (jeux\, robots\, …). \nLien avec NSI : \n\nProjet étudiant: l’IA dans les jeux\, planification et recherche de chemin.\nPremière: représentation des données\, parcours de tableaux\, algorithme glouton.\nTerminale: structures de données (graphe et pile)\, algorithmique (récursivité\, programmation dynamique).\n\nPage web de l’atelier : https://members.loria.fr/VThomas/mediation/ISN_2018_labyrinthe/ (on reprendra ces éléments ensemble lors de l’atelier) \n  \nAtelier 5 : Programmer en python côté serveur\, un outil au service du programme. – Manuel BRICARD – session 1 et/ou 2 \nL’atelier n’est pas la répétition de celui proposé l’année dernière. Cette année j’essaierai de montrer\, à travers des exemples\, comment il est possible d’utiliser la programmation côté serveur comme un fil rouge permettant d’aborder diverses parties du programme\, généralement sous forme de projets/DM. \n  \nAtelier 6 : Reconstruction d’images\, tomographie. – Erwan KERRIEN – session 2 \nL’imagerie médicale est un des ressorts les plus importants des progrès médicaux de ces dernières décennies\, et pourtant l’essentiel des images produites sont des images reconstruites\, c’est-à-dire générées par un algorithme. Dans cet atelier\, nous débuterons par une activité ludique sans ordinateur\, pour nous interroger sur la possibilité (ou pas) de reconstituer une image à partir de mesures. Ce jeu\, inspiré de la bataille navale\, reprend les bases de la reconstruction tomographique permettant d’obtenir notamment des images scanner. Puis nous discuterons des difficultés rencontrées et passerons en revue brièvement les algorithmes de tomographie les plus courants. Cet atelier est en lien avec le thème « Photographie numérique » de l’enseignement SNT. \n  \nAtelier 7 : Les données personnelles ou comment payer ses services numériques – Yannick PARMENTIER– session 2 \nDans cet atelier\, nous proposons de recourir à un jeu de rôles pour sensibiliser les élèves au concept de données personnelles\, afin qu’il.elle.s en saisissent les enjeux (utilisations et besoin de protection notamment). Pour cela\, nous utiliserons les ressources proposées par l’association l’Arbre Des Connaissances\, notamment leur activité en lien avec le Règlement Général de Protection des Données de l’Union Européenne. Si le temps le permet\, nous poursuivrons sur un jeu en ligne permettant d’illustrer les « fuites » de données personnelles sur les réseaux sociaux. Pour finir\, nous proposerons une activité de programmation pouvant être utilisée comme support à la définition du concept de donnée personnelle\, et basée sur les intégrammes. Le contenu de cet atelier pourrait être exploité dans le cadre de l’enseignement sur les « Réseaux Sociaux » en SNT. \n  \nAtelier 8 : Dessin vectoriel et Programmation Web – Laurent DUPONT – session 1 ou/et 2 \nLes images utilisées en informatique\, notamment sur le web\, sont essentiellement de deux types\, l’un dit « bitmap »\, l’autre dit « vectoriel ». Les deux se caractérisent par la manière dont l’information est stockée. Pour le premier\, la couleur (et implicitement la position) de chaque point de l’image est stocké ; pour le deuxième\, ce sont les formes géométriques dessinées dans l’image (et leur couleur) qui sont stockées. Le premier type est très adapté pour les photographies et se décline sous de nombreux formats dont les plus connus sont jpeg\, png\, bmp. Le deuxième type est lui adapté aux logos et aux images « similaires » ; il se décline notamment sous les formats ai\, svg\, pdf. Dans la programmation web actuelle\, le format vectoriel est de plus en plus utilisé pour ses propriétés de taille (réduite) et de mise à l’échelle (zoom sans effet de pixelisation). De plus\, l’animation de telles images\, la gestion des évènements associés\, peut se faire aisément en javascript en manipulant des formes géométriques\, ou directement en CSS puisque le fichier svg s’intègre au DOM (Document Object Model) contenant la structure de la page HTML. L’exploitation des fichiers svg permettra d’illustrer la structure d’arbre (format d’enregistrement des données – Terminale)\, la programmation web (2e -1ere) en abordant les interactions entre html\, css\, javascript et svg. Cela pourra être l’occasion de proposer un projet exploitant ces différents aspects du programme. \nPrérequis : quelques connaissances en html/css/javascript \n  \nAtelier 9 : Les mots de Maupassant – Abdellatif KBIDA – session 1 et/ou 2 \nDans le cadre de cet atelier nous évoquerons un domaine particulier de l’IA : le machine learning ou apprentissage automatique. À partir d’un corpus de textes de Maupassant\, l’objectif est d’écrire un script Python capable de produire de courtes phrases « intelligibles » à la « manière » de Maupassant. Lors de la première phase d’apprentissage non-supervisé des items des programmes de SNT et NSI seront exploités tels que : \n\nStructure de données (en particulier les dictionnaires)\nRecherche dans des données structurées ou non et mise en forme des informations produites\nImportation d’une table depuis un fichier csv\, json …\n\nLors de la deuxième phase\, celle d’un apprentissage supervisé\, la mise en place d’une interface homme machine web développée en Python/html/css sera présentée. Il est possible d’accompagner ce projet de recherches\, d’exposés et de débat autour de l’intelligence artificielle afin de démystifier de fausses idées que pourraient avoir les élèves sur ce sujet. \nCe projet a été en partie expérimenté et développé lors de la dernière session de TPE 2018/2019. \n  \nAtelier 10 : Dessine moi des pixels ! – Sylvain CONTASSOT – session 1 \nNous décrirons les deux grands types d’images numériques et leurs propriétés mathématiques ainsi que les représentations des couleurs. Ensuite\, nous nous pencherons sur les algorithmes pour tracer des objets géométriques simples tels que des rectangles pleins\, des segments quelconques\, des disques et des cercles. Enfin\, si le temps nous le permet\, nous aborderons la notion de lissage ou d’anti-crénelage (anti-aliasing). Cet atelier est en lien avec la partie algorithmique et projet du programme de NSI. \n  \nAtelier 11 : IA et lapins … – Maxime AMBLARD – session 2 \nL’informatique est loin de se faire uniquement avec des ordinateurs. Cette activité inspirée de problèmes d’IA est basée sur des lapins\, des formules magiques et des carottes. Elle met en avant les notions de grammaires formelles et de systèmes de réécriture. Nous montrerons que les lapins sont le chainon manquant entre informatique et linguistique ! Cette mise en situation montre comment des algorithmes dynamiques permettent de reconnaître des phrases du français. \nLien avec le programme de NSI : \n\nhistoire de l’informatique : liens entre informatique et langage\nstructure de données : structure d’arbre\nalgorithme dynamique\nthématique pouvant être utilisée pour les projets vers l’interdisciplinarité (français).\n\nAtelier 12 : Finir chaque thème de SNT par une énigme. – Christophe MAURY – session 1 ou/et 2 \nA la fin de chaque thème\, mobiliser les connaissances\, les techniques et éventuellement des bouts de codes afin de résoudre une énigme. Construire une séquence d’une heure trente\, pouvant également servir à l’évaluation\, avec une pointe de recherche\, une touche d’escape-game et l’encodage et le traitement des données. \nL’atelier proposera de traiter deux énigmes : \n\nUne sur le thème « Données structurées »\nUne sur le thème « Photographie numérique »\n\nMais permettra un espace d’échange où seront proposées des pistes pour les autres thèmes. \n  \nAtelier 13 : Résoudre une enquête de police avec des bases de données – Florian DELCONTE et Rémi DECELLE – session 1 et/ou 2 \nCet atelier illustrera\, à l’aide de deux activités\, l’une branchée et l’autre débranchée\, l’intérêt et le fonctionnement des bases de données. Elles sont partout et permettent\, en structurant les données\, d’y accéder de manière rapide et efficace. Dans un premier temps nous pourrons toucher des bases de données et les manipuler pour les interroger. Nous verrons ensuite comment présenter sur un exemple ludique les bases de données et un langage de requêtes. \nCet atelier est en lien avec le thème « les données structurées et leur traitement » de SNT \n  \nAtelier 14 : Turing Tumble – Phuc NGO et Nazim FATES – session 2 \nL’objectif de cet atelier est de présenter un jeu mécanique à visée pédagogique (https://www.turingtumble.com/). Il s’agit d’un jeu de construction simulant un ordinateur mécanique alimenté par des billes pour résoudre des énigmes logiques. De nombreuses activités en lien avec des concepts de la programmation et la notion de machine de Turing ont été conçues et sont disponibles dans un manuel en ligne. Explorer ensemble quelques-unes de ces activités sera l’occasion d’échanger sur les possibilités de mise en œuvre en classe et les liens avec les programmes de SNT et NSI.
URL:https://www.loria.fr/event/journee-snt-nsi/
LOCATION:Loria
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200326T203000
DTEND;TZID=Europe/Paris:20200326T220000
DTSTAMP:20260521T021438
CREATED:20200309T091330Z
LAST-MODIFIED:20200319T104927Z
UID:9287-1585254600-1585260000@www.loria.fr
SUMMARY:[Reportée] Conférence Sciences et société par Jean Mawhin
DESCRIPTION:Cette conférence est intitulée « Vocations mathématiques féminines : un parcours de combattante »  aura lieu le jeudi 26 mars à 20h30 dans l’amphi Botté de  l’IUT Nancy-Charlemagne. Elle sera donnée par Jean Mawhin\, professeur émérite à l’Université de Louvain et Membre de l’Académie Royale de Belgique.\n\n \nRésumé :   \n\nEn comparant le destin d’Émilie du Châtelet de Sophie Germain et d’Emmy Noether\, nous montrons les difficultés variées rencontrées par les femmes pour assouvir leur passion des mathématiques\, qu’elles appartiennent à un milieu aristocratique\, bourgeois ou académique. Elles ont dû faire preuve de beaucoup de ténacité\, de courage et même de ruse. Nous montrons aussi que les réactions et les propos machistes n’ont pas nécessairement décru en fonction du temps et que les éloges ne se sont pas toujours traduits en actes.\n\n \nL’entrée est libre et vous avez la possibilité de vous garer sur le parking de l’IUT.\n \nProchaines conférences du cycle « Sciences et société ».\n\n\n 
URL:https://www.loria.fr/event/sciences-et-societe-par-jean-mawhin/
LOCATION:IUT Nancy-Charlemagne
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200330T140000
DTEND;TZID=Europe/Paris:20200330T153000
DTSTAMP:20260521T021438
CREATED:20200309T080808Z
LAST-MODIFIED:20200319T104906Z
UID:9254-1585576800-1585582200@www.loria.fr
SUMMARY:[Reporté] Colloquium Loria : Pablo Jensen
DESCRIPTION:La colloquium Loria a le plaisir d’accueillir Pablo Jensen\, chercheur au CNRS\, membre du laboratoire de physique de l’Ecole normale supérieure de Lyon. Son exposé se déroulera lundi 30 mars à 14h00\, dans l’amphithéâtre du Loria. Il sera en français. \nIntitulé : « Pourquoi la société ne se laisse pas mettre en équations ? »\n\nRésumé : Croissance économique\, classements des lycées\, publicités sur le Web: de plus en plus\, nos actions sont mises en chiffres\, en équations\, pour aiguiller ou prédire nos comportements. Les big data nous permettront-elles de créer une nouvelle science de la société\, aussi performante que les sciences de la nature? Peut-on s’inspirer des techniques de modélisation mathématique et de simulation informatique élaborées dans les sciences naturelles pour comprendre enfin la société et l’améliorer? \n\nUne analyse de cette perspective s’avère urgente à l’aube de la révolution numérique. Grâce à sa double compétence de chercheur en physique et en sciences sociales\, l’auteur peut décortiquer de nombreux cas concrets de quantification de nos activités\, en les comparant aux mathématisations réussies de la physique. Il peut alors replacer ces exemples dans une perspective théorique générale\, en expliquant les réussites\, les échecs et les conséquences politiques de la mise en équations du monde.\n  \n\nLes personnes extérieures au laboratoire doivent s’inscrire auprès de annabelle.arena[@]loria.fr avant le vendredi 27 mars.\n\n\n\n\n\nLe colloquium Loria a pour objectif de mettre en lumière différentes thématiques de recherche en informatique sous la forme d’un exposé d’un scientifique de renom durant une heure comprenant un temps d’échange. Il est ouvert à tous et a lieu chaque mois au Laboratoire lorrain de recherche en informatique et ses applications.\n  \nVoir les précédents exposés.\nComment venir au Loria ?\nL’agenda du colloquium Loria\n\n 
URL:https://www.loria.fr/event/colloquium-loria-pablo-jensen/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
END:VCALENDAR