À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. Cette projection-débat aura lieu dans l'espace Saint-Nicolas (5 rue Saint-Nicolas), à Thionville. Intervenants : Nicolas Dupuy, docteur en physicochimie moléculaire, passionné de science-fiction & Alain Dutech, chercheur Inria au Loria (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public adolescent et adulte ☞…
Voir les détails »À travers la (re)découverte de films emblématiques de la science-fiction des années 50 à aujourd’hui, il vous est proposé une approche cinématographique du lien entre l’Humain et les machines (intelligentes) et plus particulièrement les robots. Cette projection-débat aura lieu dans le Centre culturel Pierre Messmer (1 rue de la Chapelle), à Saint-Avold. Intervenants : Nicolas Dupuy, docteur en physicochimie moléculaire, passionné de science-fiction & Alain Dutech, chercheur Inria au Loria (CNRS, Inria, Université de Lorraine). Entrée libre et gratuite ⏐ Public…
Voir les détails »La prochaine conférence du Cycle Sciences et Société aura lieu le 27 février à l'IUT Charlemagne (Nancy), avec Emmanuel Thomé, directeur de recherche Inria au Loria. Multiplier, Factoriser : des nombres premiers aux codes secrets Dès qu’on l’utilise, notre carte bancaire réalise des opérations qui prendraient des années s’il fallait les mener à la main. Pourtant, on parle dans un tel cas de « petits calculs ». On verra comment le calcul (qui est au moins aussi ancien que l’écriture!) a largement progressé depuis…
Voir les détails »The next D5 Seminar, "Interactive molecular visualization and simulation: examples with UDock and VTX" will be held by Pr. Matthieu Montes, from Le CNAM, laboratory of Génomique, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday, February 28 at 10:30 a.m. in room A008. Abstract: UDock (available at https://udock.fr and on gitlab): Originally developed to gamify protein-protein docking, UDock is now an interactive multibody molecular docking software designed to explore protein interactions for research purposes but also for teaching…
Voir les détails »The next D2 seminar, entitled “A scalable framework for backward bounded static symbolic execution”, by Nicolas Bellec, will be held on March 4 at 1:00 pm in room A008. Abstract Many programs (e.g. malware) hide their behavior by using obfuscations such as opaque predicates. Automatic methods have been developed to detect such obfuscations. In this presentation, we will focus on static symbolic backward bounded execution, a method that enumerates backward bounded paths from a potential opaque predicate and uses symbolic…
Voir les détails »
