BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.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:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T130000
DTEND;TZID=Europe/Paris:20250304T140000
DTSTAMP:20250122T135802Z
CREATED:20250122T135651Z
LAST-MODIFIED:20250122T135802Z
UID:27111-1741093200-1741096800@www.loria.fr
SUMMARY:[Formal Methods Seminar] A scalable framework for backward bounded static symbolic execution
DESCRIPTION: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. \nAbstract\nMany 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 execution to check whether all enumerated paths have the same predicate value. \nWe’ll show how this method can be generalized using a lattice-based framework and how to scale up such methods to efficiently analyze whole programs. \nMore information on the department’s website
URL:https://www.loria.fr/event/formal-methods-seminar-3/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250305T100000
DTEND;TZID=Europe/Paris:20250305T110000
DTSTAMP:20250226T085205Z
CREATED:20250226T085114Z
LAST-MODIFIED:20250226T085205Z
UID:27671-1741168800-1741172400@www.loria.fr
SUMMARY:[Séminaire DefMal] La recherche en cybersécurité doit-elle s’intéresser davantage à la criminologie (et vice-versa) ?
DESCRIPTION:Dans le cadre du projet cible du PEPR Cybersécurité – DefMal porté par l’Université de Lorraine\, le séminaire « La recherche en cybersécurité doit-elle s’intéresser davantage à la criminologie (et vice-versa) ?« \, sera présenté par Benoît Dupont\, professeur titulaire à l’École de criminologie de l’Université de Montréal et titulaire de la Chaire de recherche du Canada en Cyber-résilience ainsi que de la Chaire de recherche en Prévention de la cybercriminalité. \nL’événement aura lieu au Loria le mercredi 5 mars à 10h\, en salle A008. \nRésumé\nLa cybercriminalité désigne à la fois les délits traditionnels facilités par les technologies numériques (crimes cyber-facilités) et les infractions qui n’existeraient pas sans elles (crimes cyber-dépendants). De son côté\, la cybersécurité englobe les technologies\, politiques et pratiques visant à protéger les données\, réseaux et systèmes contre les intrusions. Ces deux champs disciplinaires\, bien que distincts\, sont de plus en plus liés. La cybercriminalité est perçue comme une menace majeure pour la cybersécurité\, incitant les institutions de sécurité à s’impliquer davantage dans sa prévention et son contrôle. Ce séminaire soulignera la nécessité d’un rapprochement entre la cybercriminologie et la cybersécurité\, encore trop cloisonnées. En nous appuyant sur un examen détaillé des cadres théoriques et des méthodes empiriques des deux domaines\, je propose de considérer cybercriminalité et cybersécurité comme appartenant au même continuum. Cette approche favorise une meilleure compréhension des liens entre ces deux domaines et encourage des collaborations plus étroites entre chercheurs en cybercriminalité et en cybersécurité. \n\nLes personnes externes au laboratoire souhaitant assister à l’événement doivent contacter Maira Nassau (prénom.nom@loria.fr) avant lundi 3 mars.
URL:https://www.loria.fr/event/seminaire-defmal-la-recherche-en-cybersecurite-doit-elle-sinteresser-davantage-a-la-criminologie-et-vice-versa/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250307T090000
DTEND;TZID=Europe/Paris:20250307T100000
DTSTAMP:20250304T172756Z
CREATED:20250304T170353Z
LAST-MODIFIED:20250304T172756Z
UID:27697-1741338000-1741341600@www.loria.fr
SUMMARY:D3 Seminar : Analyse temporelle de systèmes temps réel complexes avec le Network Calculus
DESCRIPTION:Le prochain séminaire « Analyse temporelle de systèmes temps réel complexes avec le Network Calculus » sera présenté par Damien Guidolin-Pina (ISAE SUPAERO/ONERA/RTaW)\, le 7 mars à 9h en salle A008. \nRésumé\nLes systèmes temps réel sont aujourd’hui de plus en plus complexes et différentes technologies se mêlent. Afin de garantir que le système respecte les exigences temporelles (latences\, gigues\, etc.) sans surdimensionner\, il est nécessaire d’analyser le plus précisément possible un système. Pour ce faire\, différentes théories existent et permettent de calculer des bornes assez précises. Cependant\, elles ne le permettent que sur certaines parties du système (des bornes locales). \nPour calculer une borne globale\, une théorie est souvent soit pessimiste soit pas développée pour analyser toutes les parties d’un système. Ainsi\, il est commun d’utiliser plusieurs théories pour calculer les meilleures bornes locales et les sommer pour obtenir une borne globale. Cependant\, le peu d’information échangée entre les théories engendre du pessimisme dans le calcul des bornes globales. L’objectif ici est d’améliorer l’évaluation des bornes de délai globale (de bout en bout) des systèmes temps réel critiques. Deux approches sont étudiées : \n1. Améliorer la compatibilité du Network Calculus pour le lier avec par exemple Compositional Performance Analysis\, afin d’exploiter leurs forces respectives sans introduire de pessimisme excessif dû au manque de partage d’informations. Le défi majeur réside dans la gestion des différences de continuité des courbes utilisées dans ces théories\, et un mécanisme de conversion est proposé pour assurer une compatibilité formelle. \n2. Étendre le domaine d’application du Network Calculus pour modéliser directement des éléments typiques des systèmes temps réel\, notamment les tâches\, les\nchaînes de tâches déclenchées et les hyperviseurs. Une formalisation de l’exécution des tâches est introduite\, intégrant des concepts de mise à l’échelle et de packetization pour capturer la propagation des dépendances temporelles. L’analyse des hyperviseurs est faite en tenant compte de la synchronisation des partitions et de l’alignement des flux avec leurs fenêtres d’exécution. Une nouvelle approche permet de mieux intégrer ces contraintes temporelles dans le cadre du Network Calculus\, offrant ainsi une modélisation plus fidèle des architectures temps réel complexes. \nBio :\nDamien Guidolin-Pina a obtenu le diplôme d’ingénieur de l’ISAE ENSMA\, à Poitiers\, France\, en 2020. Il a ensuite rejoint RealTime-at-Work\, un éditeur de logiciels français aidant les OEMs et Tier1s à concevoir des architectures de communication électriques/électroniques (E/E) sûres et optimisées en termes de coûts.\nPendant dix mois\, en tant qu’ingénieur logiciel\, il a travaillé sur l’implémentation de fonctionnalités notamment autour de IEEE TSN dans RTaW-PEGASE\, une plateforme leader de l’industrie pour la conception\, la configuration et la simulation d’architectures de communication embarquées. Il a ensuite réalisé son doctorat chez RealTime-at-Work\, de 2021 à 2024\, au sein de l’ONERA Toulouse. Son directeur de thèse était Marc Boyer (ONERA/DTIS). Ses recherches portent sur l’analyse temporelle des systèmes de communication temps réel\, principalement en utilisant la théorie du calcul des réseaux et la configuration de mécanisme IEEE TSN.
URL:https://www.loria.fr/event/d3-seminar-analyse-temporelle-de-systemes-temps-reel-complexes-avec-le-network-calculus/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250310T100000
DTEND;TZID=Europe/Paris:20250310T110000
DTSTAMP:20250224T094441Z
CREATED:20250224T094441Z
LAST-MODIFIED:20250224T094441Z
UID:27594-1741600800-1741604400@www.loria.fr
SUMMARY:NLP Seminar: Watermarking AI-generated content
DESCRIPTION:The next NLP Seminar\, entitled « Watermarking AI-generated content » will be given by Pierre Fernandez (Meta FAIR Paris) and will take place on 10th March\, in Loria’s room A008 Jean Legras\, at 10:00. \nAbstract:\nInvisible watermarking involves embedding a hidden signal into digital media like text\, images\, and audio. It has evolved from a tool for copyright protection to a critical solution for AI safety and security\, for example to enhance the detection of AI-generated content. For Generative AI\, watermarking can be implemented at various stages: post-hoc or at generation-time. We will explore this across modalities\, relying on the following works done in the lab: \n\nProactive Detection of Voice Cloning with Localized Watermarking https://arxiv.org/abs/2401.17264\nThree Bricks to Consolidate Watermarks for Large Language Models https://arxiv.org/abs/2308.00113\nThe Stable Signature: Rooting Watermarks in Latent Diffusion Models https://arxiv.org/abs/2303.15435\nLatent Watermarking of Audio Generative Models https://arxiv.org/abs/2409.02915\n\nThe presentation will conclude with a discussion on the limitations and future prospects of invisible watermarking. \nBio:\nPierre Fernandez is a research scientist at Meta FAIR Paris (Meta Fundamental AI Research lab). His research focuses on watermarking\, particularly for generative models to ensure AI-generated content is traceable and identifiable. During his PhD at FAIR and Inria Rennes\, he notably developed the audio watermarking algorithm used in FAIR’s public research demos like Audiobox and Seamless\, as well as the image watermarking algorithm for Meta AI image generation assistant (Imagine).
URL:https://www.loria.fr/event/nlp-seminar-watermarking-ai-generated-content/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250327T140000
DTEND;TZID=Europe/Paris:20250327T150000
DTSTAMP:20250325T143135Z
CREATED:20250325T142927Z
LAST-MODIFIED:20250325T143135Z
UID:27842-1743084000-1743087600@www.loria.fr
SUMMARY:[NLP Seminar] What does Emotion have to do with Language?
DESCRIPTION:Next NLP Seminar will take place on Thursday\, 27th March\, at 2 p.m.\, in room A008 Jean Legras. \nSpeaker:\nCasey Kennington\, Boise State University \nAbstract:\nResearch suggests that cognition is not separable from emotion\, which has implications for computational models of language: they are trained on text (and in some cases images)\, but how is emotion represented? In my talk\, we explore 4E cognition\, where emotion fits\, how we can model emotion\, and how emotion and language can come together in computational models. \nBio:\nOn the occasion of the Master TAL graduation ceremony\, Casey Kennington agreed to be the class sponsor. Casey is an alumnus of the Master’s program who is now an associate professor in the Department of Computer Science at Boise State University. He is head of the Speech\, Language and Interactive Machines group at Boise State University and active in the SIGDIAL community. He principally does research in interactive spoken dialogue systems\, semantics\, human-robot interaction\, and language acquisition.
URL:https://www.loria.fr/event/nlp-seminar-what-does-emotion-have-to-do-with-language/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR