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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230109T140000
DTEND;TZID=Europe/Paris:20230109T153000
DTSTAMP:20260518T084451
CREATED:20230103T155657Z
LAST-MODIFIED:20230103T155710Z
UID:17408-1673272800-1673278200@www.loria.fr
SUMMARY:Soutenance HDR : Mathieu Hoyrup (Mocqua)
DESCRIPTION:Mathieu Hoyrup (Mocqua) will defend his « Habilitation à Diriger des Recherches »\, on Monday\, 9th January at 2pm in room C005. \nHis presentation will be in English and is entitled « Topological Aspects of Representations in Computable Analysis ». \nRapporteur(e)s :\n– Olivier Bournez\, LIX\, École Polytechnique\n– Vasco Brattka\, Universität der Bundeswehr München\n– Elvira Mayordomo\, Universidad de Zagaroza\n\nExaminateurs :\n– Julien Cervelle\, LACL\, Université Paris-Créteil Est\n– Olivier Finkel\, Institut de Mathématiques de Jussieu-Paris Rive Gauche\n– Emmanuel Jeandel\, LORIA\, Université de Lorraine\n\n\nTitre : Aspects Topologiques des Représentations en Analyse Calculable\nRésumé : L’analyse calculable permet de formaliser le traitement algorithmique d’objets mathématiques infinis. La théorie repose sur une représentation symbolique des objets\, dont le choix détermine les capacités de calcul de la machine\, notamment sa difficulté à résoudre chaque problème donné. La friction entre le caractère discret du calcul et la nature continue des objets est capturée par la topologie\, qui exprime l’idée d’approximation finie d’objets infinis.\nNous étudions en profondeur les multiples interactions entre calcul et topologie\, cherchant à analyser l’information qui peut être extraite algorithmiquement d’une représentation. Je me penche plus particulièrement sur la comparaison entre deux représentations d’une même famille d’objets\, sur les liens détaillés entre complexité algorithmique et topologique des problèmes\, ainsi que sur les relations entre représentations finies et infinies.\n\nTitle : Topological Aspects of Representations in Computable Analysis\nAbstract : Computable analysis provides a formalization of algorithmic computations over infinite mathematical objects. The central notion of this theory is the symbolic representation of objects\, which determines the computation power of the machine\, and has a direct impact on the difficulty to solve any given problem. The friction between the discrete nature of computations and the continuous nature of mathematical objects is captured by topology\, which expresses the idea of finite approximations of infinite objects.\nWe thoroughly study the multiple interactions between computations and topology\, analysing the information that can be algorithmically extracted from a representation. In particular\, we focus on the comparison between two representations of a single family of objects\, on the precise relationship between algorithmic and topological complexity of problems\, and on the relationship between finite and infinite representations.
URL:https://www.loria.fr/event/soutenance-hdr-mathieu-hoyrup-mocqua/
LOCATION:C005
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230113T140000
DTEND;TZID=Europe/Paris:20230113T160000
DTSTAMP:20260518T084451
CREATED:20230112T170046Z
LAST-MODIFIED:20230112T170046Z
UID:17461-1673618400-1673625600@www.loria.fr
SUMMARY:Soutenance de thèse de Jean-Baptiste Wiart (Simbiot)
DESCRIPTION:Jean-Baptiste Wiart (Simbiot) soutiendra sa thèse intitulée « Approche hiérarchique de co-simulation pour l’étude des échanges d’énergie dans les microréseaux« \, le 13 janvier 2023 à 14h00 en salle C005 du Loria.\nRésumé :\nLe contexte de cette thèse s’intègre dans une démarche de modélisation et simulation de micro-réseaux. Financée par le projet LUE ULHyS\, programme de recherche multidisciplinaire sur les technologies de l’hydrogène et des piles à combustible\, des matériaux innovants pour les PEM-FC à l’économie de l’hydrogène et à l’ergonomie prospective\, la thèse a proposé un cadre multi-disciplinaire dont le sujet porte sur l’étude par co-simulation des échanges d’énergies dans les micro-réseaux. \nLa modélisation des micro-réseaux multi-sources multi-porteurs impose de décrire le système comme l’intégration de sous-systèmes hétérogènes en interaction. Sa simulation consiste à gérer la synchronisation des simulateurs hétérogènes ainsi que l’échange de données entre eux. Mecsyco (Multi-agent Environment for Complex SYstem CO-simulation – mecsyco.fr) a démontré sa capacité à aborder rigoureusement ces questions. Les enjeux se situent\, non plus aux niveaux formel et logiciel\, mais sur l’aspect sémantique. Actuellement\, la montée en compétence des experts en micro-réseaux sur des problématiques informatique\, des principes d’intégration de formalisme\, etc. pour pouvoir concevoir eux-mêmes des modèles de micro-réseaux et les simuler les détourne de leur objectif initial\, prend du temps et peut potentiellement introduire de graves erreurs. Le défi réside dans l’intégration dans une démarche de co-simulation\, au niveau sémantique\, des hétérogénéités spécifiques à l’étude des échanges d’énergies dans un micro-réseau. \nCette thèse propose des concepts et des composants logiciels (outils logiciels connexes en relation avec mecsyco) adaptés aux experts en micro-réseaux pour combler le fossé entre les exigences conceptuelles et la simulation de micro-réseaux multi-sources et multi-porteurs. Les travaux définissent deux concepts permettant la représentation des micro-réseaux dans une démarche de co-simulation modulaire et hiérarchique à tout les niveaux de la modélisation et simulation : les smart-composants d’abord\, caractéristique informationnel des composants effectuant des opérations physiques (consommer\, produire\, stocker) sur l’énergie; l’opérateur de couplage ensuite\, objet de la réification de la stratégie de gestion du réseau\, collectant les informations et permettant le calcul d’une nouvel répartition de l’énergie garantissant l’équilibrage du réseau. \nL’évaluation du travail se fait à travers un exemple itératif de simulation d’un éco-quartier dans laquelle nous illustrons les propriétés d’intégration modulaire de modèles et de hiérarchisation à tout les niveaux de la démarche de co-simulation. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-jean-baptiste-wiart-simbiot/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230113T150000
DTEND;TZID=Europe/Paris:20230113T170000
DTSTAMP:20260518T084451
CREATED:20230111T195456Z
LAST-MODIFIED:20230111T202627Z
UID:17454-1673622000-1673629200@www.loria.fr
SUMMARY:PhD defense: Agustín Borgna (Mocqua)
DESCRIPTION:Agustín Borgna (Mocqua) will defend his thesis\, entitled « Towards a compiler toolchain for quantum programs« \, on Tuesday January 13th at 3pm in room A008. \nAbstract : \nThe advent of quantum computers capable of solving problems that are intractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However\, the current state of the art in quantum programming is still in its infancy. In this thesis\, we present a series of novel approaches to different aspects of the quantum compilation process based on the ZX calculus. First\, we introduce a new intermediate representation for quantum programs capable of encoding bounded recursion and repeated circuit structures in a compact way\, based on families of the Scalable extension to the ZX calculus. We then present a compilation algorithm for hybrid circuits containing both quantum and classical gates\, based on the pure circuit optimization by Duncan et al. Finally\, we define the problem of detecting sections of a quantum circuit that can be translated to classical logic\, and introduce an heuristic algorithm to solve it. \nReviewers : \n\nBob Coecke\nMichael Mislove\n\nExaminers : \n\nNatacha Portier\nClaudia Faggian\nMiriam Backens\n\nSupervisors :\n \n\nSimon Perdrix\nBenoît Valiron
URL:https://www.loria.fr/event/phd-defense-agustin-borgna-mocqua/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230117T140000
DTEND;TZID=Europe/Paris:20230117T160000
DTSTAMP:20260518T084451
CREATED:20230116T125946Z
LAST-MODIFIED:20230116T125946Z
UID:17470-1673964000-1673971200@www.loria.fr
SUMMARY:Soutenance de thèse de Adrien Hammer (Resist)
DESCRIPTION:Adrien Hammer (Resist) soutiendra sa thèse intitulée « Méthodes de détection pour la sécurité des sytèmes IoT hétérogènes »\, le 17 janvier 2023 à 14h00 en salle A008 du Loria.\nRésumé :\nCette thèse porte sur de nouvelles méthodes de détection pour la sécurité des systèmes IoT hétérogènes\, et s’inscrit dans le cadre du projet européen SecureIoT. Nous avons tout d’abord proposé une solution utilisant le process mining couplé à un pré-traitement des données\, pour construire des modèles de comportement et identifier des anomalies à partir de données hétérogènes. Nous avons évalué cette solution à partir de jeux de données issus de plusieurs domaines d’applications différents : véhicules connectés\, industrie 4.0\, robots d’assistance. Cette solution permet de construire des modèles plus facilement compréhensibles. Elle obtient des meilleurs résultats de détection que d’autres méthodes usuelles\, mais demande un temps de traitement plus long. Pour réduire ce dernier sans dégrader les performances de détection\, nous avons ensuite étendu notre méthode à l’aide d’une approche ensembliste\, qui permet de combiner les résultats de plusieurs méthodes de détection utilisées simultanément. En particulier\, nous avons comparé différentes stratégies d’agrégation des scores. Nous avons aussi évalué un mécanisme permettant d’ajuster dynamiquement la sensibilité de la détection. Enfin\, nous avons implanté la solution sous la forme d’un prototype\, qui a été intégré à une plateforme de sécurité développée avec des partenaires européens. \nJury\nRapporteurs :\n\nMohamed Kaâniche : Directeur de recherche CNRS au LAAS\, France\nMichele Nogueira : Associate Professor in the Federal University of Minas Gerais\, Brésil\n\n\nExaminateurs :\n\nGregory Blanc : Maître de conférences à Télécom SudParis\, France\nOlivier Perrin : Professeur à l’Université de Lorraine\, France\n\nEncadrants :\n\nIsabelle Chrisment : Professeure à l’Université de Lorraine\, France\nRémi Badonnel : Professeur à l’Université de Lorraine\, France
URL:https://www.loria.fr/event/soutenance-de-these-de-adrien-hammer-resist/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230119T190000
DTEND;TZID=Europe/Paris:20230119T204500
DTSTAMP:20260518T084451
CREATED:20221212T103411Z
LAST-MODIFIED:20221212T103411Z
UID:17340-1674154800-1674161100@www.loria.fr
SUMMARY:Conférence Sciences et Société : Le vote électronique
DESCRIPTION:La prochaine conférence du cycle Sciences et Société aura lieu le jeudi 19 janvier 2023 à 19h dans la salle des conférences E406 de Polytech Nancy. \nElle sera animée par Pierrick Gaudry (Caramba)\, co-auteur du livre « Le vote électronique. Les défis du secret et de la transparence »\, écrit par Véronique Cortier et Pierrick Gaudry. \nRésumé :  Pour ou contre le vote électronique ? Il n’y a pas de réponse unique. Au cours de cet exposé nous listerons un certain nombre de propriétés que l’on attend d’un bon système de vote\, qu’il soit électronique ou non. Pour chacune d’entre elles prise individuellement\, nous expliquerons qu’il existe des solutions techniques pour l’assurer au sein d’un scrutin dématérialisé. Le défi reste de bâtir le système parfait qui aurait toutes ses propriétés simultanément. Nous illustrerons notre propos à l’aide de l’exemple des législatives 2022 lors desquelles les français de l’étranger pouvaient voter par Internet. \n 
URL:https://www.loria.fr/event/conference-sciences-et-societe-le-vote-electronique/
LOCATION:Polytech
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230124T140000
DTEND;TZID=Europe/Paris:20230124T160000
DTSTAMP:20260518T084451
CREATED:20230124T142624Z
LAST-MODIFIED:20230124T142624Z
UID:17525-1674568800-1674576000@www.loria.fr
SUMMARY:Artificial intelligence analysis of biological data: a case study of predicting genotype-to-phenotype relationships and drug-target interactions\, a seminar by Prof. Dr. Olga Kalinina
DESCRIPTION:The CAPSID team is happy to welcome Prof. Dr. Olga Kalinina\, from Helmholtz Institute for Pharmaceutical Research Saarland (HIPS) for her seminar entitled : « Artificial intelligence analysis of biological data: a case study of predicting genotype-to-phenotype relationships and drug-target interactions ». \nAbstract : Artificial intelligence (AI) has proven to be very useful in biologically relevant domains\, such as predictions of drug-target interactions or variant effect prediction. Notably\, recent developments in protein structure prediction have revolutionized the field thanks to a clever combination of the wealth of sequence data with the accuracy of structural data by means of AI. In my talk\, I will present how we build up on these advances to improve AI-based methods for predicting functional effect of sequence variants\, anti-microbial resistance\, and drug-target interactions. I will highlight the specific challenges related to analysis of biological data and offer potential solutions.
URL:https://www.loria.fr/event/artificial-intelligence-analysis-of-biological-data-a-case-study-of-predicting-genotype-to-phenotype-relationships-and-drug-target-interactions-a-seminar-by-prof-dr-olga-kalinina/
LOCATION:Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230130T140000
DTEND;TZID=Europe/Paris:20230130T160000
DTSTAMP:20260518T084451
CREATED:20230125T181505Z
LAST-MODIFIED:20230125T181547Z
UID:17529-1675087200-1675094400@www.loria.fr
SUMMARY:Soutenance de thèse de Tulika Bose (Multispeech)
DESCRIPTION:Tulika Bose (Multispeech) soutiendra sa thèse intitulée « Apprentissage par Transfert pour la Détection de Langage Abusif » le lundi 30 janvier à 14h00 à la salle A008 du Loria.\nRésumé :\nLa prolifération des médias sociaux\, en dépit de ses multiples avantages\, a conduit à une augmentation de la propagation de propos  abusifs. Les modèles d’apprentissage profond pour la détection de propos abusifs ont montré de bonnes performances quand les corpus de train et de test sont issus d’une même collecte\, mais sont nettement moins performants si la distribution des données de test diffère de celle des données d’entraînement (cross-corpus). De plus\, l’entrainement de ces modèles nécessitent une quantité considérable de données étiquetées coûteuses. Cette thèse étudie le problème de l’apprentissage par transfert pour la détection de propos abusifs et explore diverses solutions pour améliorer le transfert de connaissances dans des scénarios de cross-corpus. Tout d’abord\, nous cherchons à savoir si la combinaison de représentations de modèles thématiques avec des représentations contextuelles peut améliorer la généralisabilité des modèles. Ensuite\, nous explorons certaines approches populaires d’adaptation de domaine non supervisée (UDA unsupervised domain adaptation) issues de la classification des sentiments pour la détection de propos abusifs. Notre analyse révèle leurs limites et souligne le besoin de méthodes d’adaptation efficaces adaptées à notre tâche. Comme troisième contribution\, nous proposons deux approches d’adaptation de domaine avec un mécanisme de raffinement dynamique utilisant des attributions de caractéristiques\, qui sont des explications post-hoc du modèle. En particulier\, nous étudions le problème des corrélations fallacieuses spécifiques au corpus qui limitent la généralisation des classificateurs pour la détection des discours de haine\, une sous-catégorie des propos abusifs. Enfin\, nous proposons une nouvelle méthode d’apprentissage pour transférer les connaissances d’un grand corpus source vers un petit corpus cible dans le cas des discours de haine. Nous incorporons des informations de voisinage avec une méthode de transport optimal (optimal transport) qui permet d’exploiter la géométrie de l’espace d’apprentissage. En alignant les distributions conjointes des plongements lexicaux (embeddings) et des étiquettes des voisins\, nous obtenons des améliorations substantielles pour des corpus de discours haineux de petite taille. \nJury\n\n\n\nDirecteurs de thèse:\n\n\n\nIrina ILLINA\, Maître de conférence\, Université de Lorraine\nDominique FOHR\, Chargé de Recherche\, CNRS\, LORIA-INRIA\n\nRapporteurs:\n\nBjörn GAMBÄCK\, Professeur\, Université Norvégienne des Sciences et Technologies\nVeronique HOSTE\, Professeur\, Université de Ghent\n\nExaminateurs :\n\nBenjamin LECOUTEUX\, Professeur\,  Université Grenoble Alpes\nBenoit FAVRE\, Professeur\, Aix Marseille Université\, France\nClaire GARDENT\, Directrice de Recherche\, CNRS\, LORIA-INRIA\nAngeliki MONNIER\, Professeur\, Université de Lorraine\, CREM\n\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-tulika-bose-multispeech/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230131T093000
DTEND;TZID=Europe/Paris:20230131T170000
DTSTAMP:20260518T084451
CREATED:20230116T100225Z
LAST-MODIFIED:20230116T105244Z
UID:17466-1675157400-1675184400@www.loria.fr
SUMMARY:Journée scientifique en l'honneur de Véronique Cortier\, Lauréate de la Médaille d'Argent CNRS 2022
DESCRIPTION:Programme\n09:30 — Café d’accueil \n10:00 — Ouverture de la journée\n10:20 — Quelques mots par Hubert Comon\, directeur de thèse de Véronique\n10:30 — Stéphanie Delaune – Reducing the number of session: a long-standing research question \n11:20 — Pause café \n11:40 — Bruno Blanchet – Dealing with Key Compromise in CryptoVerif \n12:30 — Repas \n14:00 — Bogdan Warinschi (to be confirmed)\n14:50 — Olivier Pereira – How to Verifiably Encrypt Many Bits for an Election? \n15:40 — Pause café \n16:00 — Pierrick Gaudry – Belenios: 10 years of evolution \n16:50 — Conclusion suivie d’un cocktail \n  \n? Site de l’événement \n? Inscription (gratuite\, mais obligatoire) avant le 20 janvier
URL:https://www.loria.fr/event/journee-scientifique-en-lhonneur-de-veronique-cortier-laureate-de-la-medaille-dargent-cnrs-2022/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR