BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.3.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T133000
DTEND;TZID=Europe/Paris:20260206T173000
DTSTAMP:20260211T094148Z
CREATED:20260211T094148Z
LAST-MODIFIED:20260211T094148Z
UID:28923-1770384600-1770399000@www.loria.fr
SUMMARY:Séminaire Réflexions : “Pourquoi Raconter des Maths aux Ordinateurs ?”
DESCRIPTION:la première séance du séminaire Réflexions qui se tiendra le vendredi 6 février 2026\, de 13h30 à 17h30\, dans la salle de conférence de l’Institut Élie Cartan de Lorraine\, Faculté des Sciences et Technologie\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \n  \nNous écouterons Patrick Massot (Laboratoire de mathématique d’Orsay) \n13h30-14h45 : Présentation \nTitre : Pourquoi raconter des maths aux ordinateurs ? \nRésumé : Dans cet exposé j’expliquerai ce que signifie « expliquer des mathématiques à un ordinateur » et pourquoi je trouve cela intéressant et utile. Je montrerai à quoi ressemble concrètement l’utilisation d’un logiciel permettant d’encoder informatiquement des définitions\, énoncés et démonstrations. Je présenterai les applications de ces techniques pour vérifier\, expliquer\, enseigner ou créer des mathématiques. Je mentionnerai des exemples de projets non-triviaux dans ce domaine et j’évoquerai brièvement les liens avec l’IA. \n15h00-17h30: Session Pratique \nTitre : Introduction à l’assistant de preuve Lean par la pratique \nLe logiciel Lean permet de parler de maths de tout niveau à son ordinateur. Il peut aussi servir à enseigner le raisonnement mathématique rigoureux\, par exemple en L1. Ce TP sera une introduction à l’utilisation de Lean en pratique.  \nLe séminaire Réflexions est organisé conjointement par les Archives Henri Poincaré\, l’Institut Élie Cartan de Lorraine et le Loria (laboratoire lorrain de recherche en informatique et ses applications). Les organisateurs pour cette année sont Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria). \n\nThe first session of the Réflexions seminar\, will be held on Friday\, February 6\, 2026\, from 1:30 p.m. to 5:30 p.m.\, in the conference room of the Institut Élie Cartan de Lorraine\, Faculty of Science and Technology\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \nThe speaker will be Patrick Massot (Laboratoire de mathématique d’Orsay)\n \n1:30-2:45 p.m.: Talk \nTitle: Why explain mathematics to computers? \nAbstract: In this talk\, I will explain what it means to “explain mathematics to a computer” and why I find it interesting and useful. I will show what it looks like in practice to use software that allows definitions\, statements\, and proofs to be encoded computationally. I will present applications of these techniques for verifying\, explaining\, teaching\, or creating mathematics. I will mention examples of non–trivial projects in this field and briefly discuss the links with AI. \n3:00-5:30 p.m.: Practical Session \nTitle: Introduction to the Lean proof assistant through practice \nThe Lean software allows you to talk about math at any level on your computer. It can also be used to teach rigorous mathematical reasoning\, for example in L1. This practical session will be an introduction to the practical use of Lean. \nThe Réflexions seminar is organized jointly by the Archives Henri Poincaré\, the Institut Élie Cartan de Lorraine\, and the Loria (Lorraine Research Laboratory in Computer Science and its Applications). This year’s organizers are Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria).
URL:https://www.loria.fr/event/seminaire-reflexions-fev-26/
LOCATION:IECL\, Salle de Conférences
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260217T130000
DTEND;TZID=Europe/Paris:20260217T150000
DTSTAMP:20260211T162131Z
CREATED:20260211T093404Z
LAST-MODIFIED:20260211T162131Z
UID:28920-1771333200-1771340400@www.loria.fr
SUMMARY:Loria Security Seminar - Erol Gelenbe
DESCRIPTION:Loria Security Seminar will take place on February 17th in room A008 at 1:00pm.\n\n\nErol Gelenbe\, Professeur à l’Institut d’informatique théorique et appliquée de l’Académie des Sciences de Pologne et au King’s College (Londres)\, et ambassadeurs Inria+Alumni au Royaume-Uni donnera une conférence intitulée :\nDétection et Atténuation des Cyberattaques par l’IA.\n\n \nTitre: Détection et Atténuation des Cyberattaques par l’IA\n\n\nRésumé: \nLes serveurs d’accès à l’Internet des objets (IoT)\, doivent répondre à des exigences strictes en matière de sécurité et de qualité de service (QoS)\, offrant une protection contre les cyberattaques avec une réactivité et une perte minimale de données bénignes. Il est donc essentiel de protéger ces systèmes par un lissage de trafic efficace\, une détection précise des cyberattaques (DA)\, et des mécanismes d’atténuation. Nous présenterons d’abord des techniques d’apprentissage en ligne et fédéré permettant de détecter les attaques avec précision\, et des mesures des flux de paquets véhiculant une cyberattaque qui altèrent la QoS au niveau des serveurs et entravent leur capacité à exécuter la DA. En utilisant des méthodes mathématiques de la théorie des files d’attente et des mesures expérimentales\, nous démontrons que la nouvelle méthode de lissage du trafic QDTP garantit que le serveur pourra assurer une DA effiace et réagir rapidement lors d’une attaque. Un nouveau système d’atténuation adaptative des attaques (AAM) sera aussi présenté pour échantillonner le flux de paquets entrants\, déterminer si une attaque est en cours et supprimer dynamiquement des lots de paquets à l’entrée pour réduire les effets de l’attaque\, et minimiser la surcharge AD et le coût des paquets bénins perdus. \nBiographie du Conférencier: \nAprès des études d’ingénieur éléctronicien en Turquie\, un doctorat aux Etats-Unis (NYU)\, et un emploi d’Assistant Professor pendant dix-huit mois à l’Université de Michigan\, Erol Gelenbe rejoint l’IRIA où il crée le projet MEVAL sur l’évaluation de performances des systèmes et réseaux et enseigne à l’Université Paris-Nord. Tout en continuant son activité à l’IRIA\, il occupe une chaire d’informatique à l’Université de Liège de 1974 à 1979\, année où il rejoint l’Université Paris-Sud (Orsay) en tant que professeur; il assure aussi des enseignements de probabilités à l’Ecole Polytechnique jusqu’en 1987. En 1986 il fonde l’Ecole des Hautes Etudes en Informatique de l’Université René Descartes et en reste le directeur jusqu’en 1993 quand il rejoint la Duke University (USA) en tant que directeur du Département «Electrical and Computer Engineering». En 1998 il est nommé directeur de la «School of Electrical Engineering and Computer Science» d’UCF (Orlando)\, et en 2003 il est nommé professeur titulaire de la Chaire «Dennis Gabor» d’Imperial College. Après le Brexit\, il prend un poste de chercheur à temps complet à l’Académie des Sciences de Pologne.  Erol a formé plus de 90 docteurs dont 25 femmes; il est Fellow de l’IEEE (1986)\, de l’ACM (2001) et de l’IFIP (2019)\, et il reçoit le Grand Prix France-Télécom de l’Académie des Sciences en 1996. Il est élu à l’Academia Europaea (2005)\, à l’Académie des Technologies (2007)\, et aux Académies des Sciences de Hongrie (2010)\, Turquie (2011)\, Pologne (2013)\, Belgique (2015) et de l’Inde (2025). «Docteur Honoris Causa» des Universités de Rome II (1996)\, Liège (2006)\, Bogaziçi d’Istanbul (2004)\, et de l’Académie des Sciences de Hongrie (2010)\, il est Chevalier de la Légion d’Honneur\, Commandeur de l’Ordre national du Mérite\, Commandeur du Mérite de la République Italienne\, Commandeur de l’Ordre de la Couronne de Belgique et Officier de l’Ordre du Mérite de Pologne. \n\nPlus d’informations ici : https://seminaire-securite.loria.fr/
URL:https://www.loria.fr/event/lss_fev_26/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260219T103000
DTEND;TZID=Europe/Paris:20260219T123000
DTSTAMP:20260217T102028Z
CREATED:20260217T102028Z
LAST-MODIFIED:20260217T102028Z
UID:28956-1771497000-1771504200@www.loria.fr
SUMMARY:HUCEBOT Seminar - Dorian Verdel
DESCRIPTION:On February 19th\, the HUCEBOT team will have the pleasure of welcoming Dorian Verdel\, postdoctoral fellow at Paris Saclay\, who is applying for the CR position in Centre INRIA de l’Université de Lorraine. \n\n \nTitle: \nThe role of time in developing symbiotic human-robot interactive control\n \nAbstract: Physical human-robot interactions (pHRI) are promising for a large panel of public health applications\, ranging from MSD prevention to neurorehabilitation. However\, physical interaction control methods often neglect fundamental aspects of human motor control\, which directly impact the outcomes of the interaction. Here\, I will first present two recent studies showing how time plays a major role in the planning of human movements\, both alone and when interacting with a human partner\, making it a critical aspect to account for in pHRI. Then\, I will present recent results showing how such knowledge on human motor control strategies can be accounted for using a multi-agent representation of pHRI.\n\nBio: After graduating from ENS Paris-Saclay in mechanical engineering in 2019\, I did my PhD at Université Paris-Saclay under the supervision of B. Berret and O. Bruneau on human-exoskeleton interactions\, at the interface between robotics and human motor control. I was then invited to join the group of E. Burdet at Imperial College London\, where I was a postdoctoral fellow for two years. There\, I worked on human sensorimotor augmentation with supernumerary robotic limbs\, human motor control\, and human-human physical interactions. I was recently recruited as a postdoctoral fellow on the ASSISTMOV project of the PEPR O2R\, in Université Paris-Saclay\, to work on the integration of differential games-based control\, EMG-based human joints torque estimation\, and AI-based movement prediction.
URL:https://www.loria.fr/event/hucebot-seminar-dorian-verdel/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR