BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240301T140000
DTEND;TZID=Europe/Paris:20240301T160000
DTSTAMP:20260608T114949
CREATED:20240201T104938Z
LAST-MODIFIED:20240209T142651Z
UID:24853-1709301600-1709308800@www.loria.fr
SUMMARY:[Visite du Loria] À votre santé : Un soutien robotique
DESCRIPTION:Pauline Maurice\, chercheuse au Laboratoire Lorrain de Recherche en Informatique et ses Applications (CNRS\, Inria\, UL)\, vous invite à visiter son laboratoire le 1er mars 2024 à 14h. \nAu travail\, porter de lourdes charges ou répéter un même mouvement peut physiquement nous nuire. Des robots et assistances mécaniques sont étudiés pour nous aider dans nos tâches. Comprendre et simuler le comportement humain est alors essentiel pour adapter au mieux les robots. \nL’entrée est gratuite mais soumise à réservation dès le 1er février. \n\nInscrivez-vous sur ce lien\n\n\n\n\n\nCet événement est organisé dans le cadre de « A Votre Santé » (AVS). Ayant lieu depuis 6 ans dans le Grand Est\, AVS est une série d’évènements de culture scientifique visant à ouvrir le dialogue entre public et scientifiques sur des sujets touchant à la santé humaine.
URL:https://www.loria.fr/event/a-votre-sante-visite-de-laboratoire-un-soutien-robotique/
LOCATION:Loria
CATEGORIES:Événement grand public
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Capture-décran-2024-02-09-à-15.22.06.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240313T160000
DTEND;TZID=Europe/Paris:20240313T170000
DTSTAMP:20260608T114949
CREATED:20240308T132641Z
LAST-MODIFIED:20240308T132739Z
UID:25101-1710345600-1710349200@www.loria.fr
SUMMARY:«Quand l'informatique fait parler les tableaux»\, conférence de Gilles Simon
DESCRIPTION:Dans le cadre de la Journée Recherche et Développement R&Day\, organisée par des étudiants en L2 informatique de l’Université de Franche-Comté de Besançon\, Gilles Simon\, enseignant-chercheur au Loria (équipe Tangram) animera une conférence intitulée «Quand l’informatique fait parler les tableaux». \nPlus d’informations sur le site de l’événement
URL:https://www.loria.fr/event/quand-linformatique-fait-parler-les-tableaux-conference-de-gilles-simon/
LOCATION:Université de Franche-Comté de Besançon
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240315T100000
DTEND;TZID=Europe/Paris:20240315T110000
DTSTAMP:20260608T114949
CREATED:20240313T131422Z
LAST-MODIFIED:20240313T131459Z
UID:25126-1710496800-1710500400@www.loria.fr
SUMMARY:D1 Seminar: Compute-Based Rendering across the Board: Efficient Methods for Meshes\, Point Clouds and Radiance Fields
DESCRIPTION:Next D1 Seminar\, entitled « Compute-Based Rendering across the Board: Efficient Methods for Meshes\, Point Clouds and Radiance Fields »\, will take place on March 15 at 10 am\, in room A006. \nAbstract:  \nDr. Kerbl will present his on-going research on compute-based rendering and its use across 3D representations and applications. Modern 3D content\, both synthetic and captured\, contains an unprecedented amount of geometric detail. At the same time\, user appreciation of 3D content demands low-latency feedback loops: processing\, exploring or modifying 3D scenes should be fast\, or—even better—instant. Failure to meet performance targets is often answered by applying more raw compute power to the problem. This policy has led to systematic hardware hoarding\, a rift between « GPU-rich » and « GPU-poor »\, increased reliance on cloud computing and an overall rise in global resource consumption. A more sustainable solution to this challenge lies in the careful design of inherently parallel algorithms\, finding novel data structures and optimal 3D scene representations for specific tasks. One pillar of the research by Dr. Kerbl et al. towards this goal is the use of compute-based rendering: exploiting GPU compute to assist or replace the fixed-function pipeline for image formation. This talk illustrates concrete examples where compute-based rendering achieves or surpasses state-of-the-art results\, given only a fraction of its competitors’ runtime resources. Apart from image formation itself\, this talk will also discuss recent applications in interactive editing and differentiable rendering methods for radiance fields (NeRFshop\, 3D Gaussian Splatting). \nBio:  \nAfter a Bachelor and Master’s degree in information technology\, Dr. Kerbl received his PhD from Graz University of Technology in 2018 for his research on GPU workload scheduling. In 2019\, he briefly joined Epic Games to work on the Nanite Virtual Geometry feature of Unreal Engine 5. This was followed by a postdoc research stay at TU Wien and another at Inria\, Université Côte d’Azur in the GraphDeco group. Currently\, he acts as principal investigator on a project acquired in 2022 for Instant Visualization and Interaction for Point Clouds (IVILPC). Dr. Kerbl has taught multiple courses on the design and programming of modern GPU hardware at three Austrian universities and has (co-)supervised several students from undergraduate to PhD level.
URL:https://www.loria.fr/event/d1-seminar-compute-based-rendering-across-the-board-efficient-methods-for-meshes-point-clouds-and-radiance-fields/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240322T143000
DTEND;TZID=Europe/Paris:20240322T170000
DTSTAMP:20260608T114949
CREATED:20240313T103110Z
LAST-MODIFIED:20240313T103932Z
UID:25117-1711117800-1711126800@www.loria.fr
SUMMARY:Soutenance de thèse de Youssef Assis (Tangram)
DESCRIPTION:Youssef Assis (Tangram) soutiendra sa thèse intitulée « La détection des anévrismes intracrâniens par apprentissage profond »\, le 22 mars à 14h30 en salle C005. \nRésumé :\nLes anévrismes intracrâniens sont des dilatations locales des vaisseaux sanguins cérébraux\, présentant un risque significatif de rupture\, susceptible d’entraîner des conséquences graves. La détection précoce des anévrismes non rompus revêt donc une importance cruciale pour prévenir des complications potentiellement mortelles. Cependant\, l’analyse des images médicales pour localiser ces anévrismes est une tâche complexe et chronophage\, demandant du temps et d’expertise\, et malgré cela reste susceptible d’erreurs d’interprétation. Face à ces défis\, cette thèse explore des méthodes automatisées pour la détection des anévrismes\, visant à faciliter le travail des radiologues et à améliorer l’efficacité du diagnostic. Notre approche se concentre sur l’utilisation de techniques d’intelligence artificielle\, en particulier les réseaux de neurones profonds\, pour la détection des anévrismes à partir d’images d’IRM angiographique par temps de vol (TOF-MRA). Nos travaux de recherche se sont articulés autour de plusieurs axes principaux. Tout d’abord\, en raison de la rareté des données d’entraînement dans le domaine médical\, nous adoptons une méthode d’annotation rapide\, bien qu’approximative\, afin de faciliter la collection de données. Par ailleurs\, nous proposons une stratégie basée sur des petits patchs. En association avec de la synthèse de données\, les échantillons sont démultipliés dans la base d’apprentissage. En sélectionnant les échantillons\, leur distribution est ajustée pour faciliter l’optimisation. Ensuite\, pour la détection automatisée des anévrismes\, nous étudions diverses architectures de réseaux de neurones. Une première approche explore les réseaux de segmentation d’images. Nous proposons dans un second temps une architecture innovante inspirée des travaux en détection d’objets. Ces architectures\, notamment la dernière\, obtiennent des résultats compétitifs\, en particulier en termes de sensibilité par rapport aux experts. Enfin\, au-delà de la détection des anévrismes\, nous étendons notre modèle à l’estimation de la pose des anévrismes dans les images 3D. Ceci peut grandement faciliter leur analyse et leur interprétation dans des plans de coupes reformattés. Une évaluation approfondie des modèles proposés est systématiquement réalisée\, incluant des études par ablation\, l’exploitation de métriques adaptées au problème de la détection et des évaluations menées par des experts cliniciens\, permettant d’apprécier leur efficacité potentielle pour une utilisation clinique. Nous mettons en particulier en évidence les problèmes liés à l’incertitude dans l’annotation des bases de données existantes. \nJury\nRapporteurs : \n\nChristine FERNANDEZ-MALOIGNE\, Professeure – Université de Poitiers\nAntoine VACAVANT\, Professeur – Université Clermont Auvergne\n\nExaminateurs : \n\nCarole LARTIZIEN\, Directrice de recherche – CNRS\nCarole LE GUYADER\, Professeure – INSA Rouen Normandie\n\nDirecteurs : \n\nErwan KERRIEN\, Directeur de thèse\, Chargé de recherche – Inria\nRené ANXIONNAT\, Co-directeur de thèse\, Professeur – Université de Lorraine\nFabien PIERRE\, Co-encadrant\, Maître de conférences – Université de Lorraine
URL:https://www.loria.fr/event/soutenance-de-these-de-youssef-assis/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240328T140000
DTEND;TZID=Europe/Paris:20240328T163000
DTSTAMP:20260608T114949
CREATED:20240313T103835Z
LAST-MODIFIED:20240313T103835Z
UID:25121-1711634400-1711643400@www.loria.fr
SUMMARY:Soutenance de thèse de Djedjiga Belhadj (Read)
DESCRIPTION:Djedjiga Belhadj (Read) soutiendra sa thèse intitulée « Multi-GAT semi-supervisé pour l’extraction d’informations et son adaptation au chiffrement homomorphe »\, le 28 mars à 14h en salle A008. \nRésumé :\nCette thèse est réalisée dans le cadre du projet BPI DeepTech\, en collaboration avec la société Fair&Smart\, veillant principalement à la protection des données personnelles conformément au Règlement Général sur la Protection des Données (RGPD). Dans ce contexte\, nous avons proposé un modèle neuronal profond pour l’extraction d’informations dans les documents administratifs semi-structurés (DSSs). En raison du manque de données d’entraînement publiques\, nous avons proposé un générateur artificiel de DSSs qui peut générer plusieurs classes de documents avec une large variation de contenu et de mise en page. Les documents sont générés à l’aide de variables aléatoires permettant de gérer le contenu et la mise en page en respectant des contraintes visant à garantir leur proximité avec des documents réels. Des métriques ont été introduites pour évaluer la diversité des DSSs générés en termes de contenu et de mise en page. Les résultats de l’évaluation ont montré que les jeux de données générés pour trois types de DSSs (fiches de paie\, tickets de caisse et factures) présentent un degré élevé de diversité\, ce qui permet d’éviter le sur-apprentissage lors de l’entraînement des systèmes d’extraction d’informations. En s’appuyant sur le format spécifique des DSSs\, constitué de paires de mots (mots-clés\, informations) situés dans des voisinages proches spatialement\, le document est modélisé sous forme de graphe où les nœuds représentent les mots et les arcs\, les relations de voisinage. Le graphe est incorporé dans un réseau d’attention à graphe (GAT) multi-couches (Multi-GAT). Celui-ci applique le mécanisme d’attention multi-têtes permettant d’apprendre l’importance des voisins de chaque mot pour mieux le classer.  Une première version de ce modèle a été utilisée en mode supervisé et a obtenu un score F1 de 96 % sur deux jeux de données de factures et de fiches de paie générées\, et de 89 % sur un ensemble de tickets de caisse réels (SROIE). Nous avons ensuite enrichi le Multi-GAT avec un plongement multimodal de l’information au niveau des mots (avec des composantes textuelle\, visuelle et positionnelle)\, et l’avons associé à un auto-encodeur variationnel à graphe (VGAE). Ce modèle fonctionne en mode semi-supervisé\, capable d’apprendre à partir des données annotées et non annotées simultanément. Pour optimiser au mieux la classification des nœuds du graphe\, nous avons proposé un semi-VGAE dont l’encodeur partage ses premières couches avec le classifieur Multi-GAT. Cette optimisation est encore renforcée par la proposition d’une fonction de perte VGAE gérée par la perte de classification. En utilisant une petite base de données non annotées\, nous avons pu améliorer de plus de 3 % le score F1 obtenu sur un ensemble de factures générées. Destiné à fonctionner dans un environnement protégé\, nous avons adapté l’architecture du modèle pour son chiffrement homomorphe. Nous avons étudié une méthode de réduction de la dimensionnalité du modèle Multi-GAT. Ensuite\, nous avons proposé une approche d’approximation polynomiale des fonctions non-linéaires dans le modèle. Pour réduire la dimension du modèle\, nous avons proposé une méthode de fusion de caractéristiques multimodales qui  nécessite peu de paramètres supplémentaires et qui réduit les dimensions du modèle tout en améliorant ses performances. Pour l’adaptation au chiffrement\, nous avons étudié des approximations polynomiales de degrés faibles aux fonctions non-linéaires avec une utilisation des techniques de distillation de connaissance et de fine tuning pour mieux adapter le modèle aux nouvelles approximations. Nous avons pu minimiser la perte lors de l’approximation d’environ 3 % pour deux jeux de données de factures ainsi qu’un jeu de données de fiches de paie et de 5 % pour SROIE. \nJury\nRapporteurs : \n\nRolf Ingold (Université de Fribourg)\nJean-Yves Ramel  (LIFAT – Université de Tours)\n\nExaminatrices : \n\nClaire Gardent (CNRS – LORIA)\nVéronique Eglin (LIRIS – INSA – CNRS)\n\nDirecteur : \n\nAbdel Belaïd (Université de Lorraine – LORIA)
URL:https://www.loria.fr/event/soutenance-de-these-de-djedjiga-belhadj-read/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240329T100000
DTEND;TZID=Europe/Paris:20240329T110000
DTSTAMP:20260608T114949
CREATED:20240321T084412Z
LAST-MODIFIED:20240321T084412Z
UID:25415-1711706400-1711710000@www.loria.fr
SUMMARY:Machine Learning at the Service of Decomposition Techniques in Mixed Integer Programming: A cross docking assignment and scheduling problem
DESCRIPTION:Shahin Gelareh\, Maître de conférences à l’université d’Artois\, présentera ses travaux de recherche au laboratoire le vendredi 29 mars à 10h en salle C005. \nTitle : Machine Learning at the Service of Decomposition Techniques in Mixed Integer Programming: A cross docking assignment and scheduling problem\nAbstract: The primary objective of this presentation is to share our experiences and illustrate how two distinct classes of machine learning algorithms can be seamlessly integrated into decomposition frameworks to expedite the solution process’s convergence. We exemplify this through the truck dock assignment and scheduling problem\, an operational issue that requires frequent resolution throughout the day whenever the existing plan is disrupted by unforeseen events. The operational nature of this problem is crucial as the data distribution remains relatively stable over a considerable period\, facilitating the accumulation of ample training data without issues caused by distribution shifts. Our focus is predominantly on two exact methods: Cut-and-Benders and Dantzig-Wolfe. However\, given enough time\, we also demonstrate that the same trained deep learning model can assist in constructing feasible solutions and can be incorporated into a reinforcement learning model to function as a very efficient heuristic. \nRésumé : L’objectif principal de cette présentation est de partager nos expériences et d’illustrer comment deux classes distinctes d’algorithmes d’apprentissage automatique peuvent être intégrées dans des cadres de décomposition pour accélérer la convergence du processus de résolution. Nous exemplifions ceci à travers le problème d’attribution et de planification de quais pour camions\, un problème opérationnel nécessitant une résolution fréquente au cours de la journée\, chaque fois que le plan existant est interrompu par des événements imprévus. La nature opérationnelle de ce problème est essentielle car la distribution des données reste relativement stable sur une période considérable\, facilitant ainsi l’accumulation d’une quantité suffisante de données d’entraînement sans les problèmes causés par les changements de distribution. Notre attention se porte principalement sur deux méthodes exactes : Cut-and-Benders et Dantzig-Wolfe. Cependant\, si le temps nous permet\, nous démontrons également que le même modèle d’apprentissage profond entraîné peut aider à construire des solutions réalisables et peut être intégré dans un modèle d’apprentissage par renforcement pour fonctionner comme une heuristique très efficace.
URL:https://www.loria.fr/event/machine-learning-at-the-service-of-decomposition-techniques-in-mixed-integer-programming-a-cross-docking-assignment-and-scheduling-problem/
LOCATION:C005
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240402
DTEND;VALUE=DATE:20240403
DTSTAMP:20260608T114949
CREATED:20240306T101056Z
LAST-MODIFIED:20240306T101056Z
UID:25086-1712016000-1712102399@www.loria.fr
SUMMARY:Journée Éthique et TAL 2024
DESCRIPTION:En 2014 eut lieu la première journée scientifique dédiée à l’éthique du TAL\, la première journée ATALA Ethique et TAL. 10 ans plus tard\, le monde du TAL a subi plusieurs révolutions et l’éthique n’a jamais été aussi présente\, dans les médias\, nos recherches\, les appels des plus grandes conférences\, comme dans l’administration du TAL international (comités d’éthique de conférences et d’ACL). \nNous nous proposons de faire le point sur les avancées et les défis à venir le 2 avril 2024\, au LORIA (Nancy)\, avec vous et nos invité·e·s : \n\nEmily M. Bender (Professeure à l’Université de Washington\, Présidente d’ACL)\, page web\nSteven Bird (Professeur à Charles Darwin University)\, page web\nAlexis Michaud (DR CNRS\, LACITO)\n\nPlus d’informations sur le site ATALA Éthique et TAL \n  \nInscription (gratuite mais obligatoire): \nMerci de vous inscrire au plus tôt (contactez-nous si vous êtes de nationalité hors Schengen) : https://framaforms.org/inscription-a-la-journee-atala-ethique-et-tal-1708437028 \nSite de soumission :\nhttps://easychair.org/conferences/?conf=ethiquetal24 \nDates importantes : \n– Soumission des résumés : 8 mars 2024\n– Notification aux auteurs et autrices : 12 mars 2024\n– Date de la journée : 2 avril 2024 \nComité de Programme : \n\nGilles Adda\nMaxime Amblard\nJean-Yves Antoine\nPhilippe Blache\nVincent Claveau\nCaio Corro\nMiguel Couceiro\nFanny Ducel\nCécile Fabre\nBenoît Favre\nKarën Fort\nAnaïs Lefeuvre-Halftermeyer\nGaël Lejeune\nHugues de Mazancourt\nAlice Millour\nPhilippe Muller\nAurélie Névéol
URL:https://www.loria.fr/event/journee-ethique-et-tal-2024/
LOCATION:Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240403
DTEND;VALUE=DATE:20240404
DTSTAMP:20260608T114949
CREATED:20240221T143307Z
LAST-MODIFIED:20240221T143546Z
UID:25003-1712102400-1712188799@www.loria.fr
SUMMARY:Journée NSI-SNT
DESCRIPTION:La prochaine journée NSI-SNT aura lieu au Loria le mercredi 3 avril 2024.\n\n\n\nIl s’agit d’un événement à destination des enseignants de NSI et SNT mais aussi de tous les collègues du second degré ou du supérieur intéressés par l’enseignement de l’informatique.\nDes conférences et présentations autour de l’intelligence artificielle et l’éducation ponctueront cette journée ainsi que des ateliers visant à approfondir certaines thématiques liées au numérique.\n\n\nPlus d’informations\nInscriptions
URL:https://www.loria.fr/event/journee-nsi-snt-2/
LOCATION:Loria
CATEGORIES:Autres
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240404T100000
DTEND;TZID=Europe/Paris:20240404T110000
DTSTAMP:20260608T114949
CREATED:20240307T102356Z
LAST-MODIFIED:20240312T153330Z
UID:25089-1712224800-1712228400@www.loria.fr
SUMMARY:Colloquium du Loria - Claudio Pacchierotti
DESCRIPTION:Next Loria colloquium will take place on Thursday\, April 4th at 10 am in the Amphitheater. \nWe will have the pleasure to welcome Claudio Pacchierotti\, CNRS tenured-researcher chercheur at the IRISA Rennes\, for a presentation entitled « Beyond Force Feedback: Cutaneous Haptics in Human-centered Robotics ». \nPeople from outside the laboratory must register before March 31st by sending an email to marie.baron (at) Loria.fr \nAbstract:\nAs robotics advances into more integrated human-centered applications\, haptic feedback plays a crucial role in connecting humans and robots seamlessly. While force feedback has traditionally played a crucial role\, this presentation explores the untapped potential of cutaneous haptics to create more natural\, richer\, and safer interactions in human-centered robotics. Dr. Pacchierotti will share his contributions to this field\, discussing the role of cutaneous and kinesthetic haptics for robotics\, presenting the design of innovative cutaneous haptic interfaces and rendering techniques\, along with their application in human-centered robotics and immersive environments. Emphasizing a holistic and multi-modal approach to haptic feedback\, this talk aims to inspire researchers and engineers to explore cutaneous haptics for developing the next generation of sensory human-robot interfaces. The presentation concludes by addressing the scientific and technological challenges in this evolving field.\n\n\n\nBiosketch:\nClaudio Pacchierotti is a tenured researcher at CNRS-IRISA in Rennes\, France\, since 2016. He was previously a postdoctoral researcher at the Italian Institute of Technology\, Genova\, Italy. Pacchierotti earned his PhD at the University of Siena in 2014. He was Visiting Researcher in the Penn Haptics Group at University of Pennsylvania in 2014\, the Dept. of Innovation in Mechanics and Management at University of Padua in 2013\, the Institute for Biomedical Technology and Technical Medicine (MIRA) at University of Twente in 2014\, and the Dept. Computer\, Control and Management Engineering of the Sapienza University of Rome in 2022. Pacchierotti received the 2014 EuroHaptics Best PhD Thesis Award and the 2022 CNRS Bronze Medal. He is Senior Chair of the IEEE Technical Committee on Haptics\, Co-Chair of the IEEE Technical Committee on Telerobotics\, and Secretary of the Eurohaptics Society.
URL:https://www.loria.fr/event/colloquium-du-loria-claudio-pacchierotti/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240404T170000
DTEND;TZID=Europe/Paris:20240404T190000
DTSTAMP:20260608T114949
CREATED:20240327T132207Z
LAST-MODIFIED:20240327T132207Z
UID:25683-1712250000-1712257200@www.loria.fr
SUMMARY:En rythmes ! Musique\, coeur\, corps\, cerveau.
DESCRIPTION:Avant les représentations « Au cœur du son »\, mises en scène par Maguelone Vidal\, qui associe en tant que cheffe d’orchestre les cœurs et la danse\, nous invitons tous les curieux et curieuses à s’interroger sur le rythme et ses impacts. \nLe rythme de la musique\, le rythme de notre corps\, le rythme de notre cerveau… Comment interagissent-ils ? Comment sont-ils produits ? Que produisent-ils ? …Pour répondre à ses questions\, vous serez accompagnés de l’artiste elle-même\, de Laurent Bougrain (chercheur au Loria) et Matthieu Casteran (chercheur aux laboratoires DevAH et 2LPN). Conférence donnée avant les représentations du spectacle « Au coeur du son » au CCAM\, scène nationale de Vandoeuvre le 11 et 12 avril prochains. \n\nInscriptions : https://www.eventbrite.fr/e/en-rythmes-musique-coeur-corps-cerveau-tickets-871750167217?aff=oddtdtcreator
URL:https://www.loria.fr/event/en-rythmes-musique-coeur-corps-cerveau/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240416T140000
DTEND;TZID=Europe/Paris:20240416T170000
DTSTAMP:20260608T114949
CREATED:20240404T074932Z
LAST-MODIFIED:20240404T074937Z
UID:25739-1713276000-1713286800@www.loria.fr
SUMMARY:«Studying JavaScript Security Through Static Analysis: Detection of Malicious and Vulnerable Code»\, DefMal Webinar with Aurore Fass
DESCRIPTION:JavaScript is a browser scripting language that was designed to create sophisticated and interactive web pages. However\, JavaScript also provides an entry point for an attacker to exploit bugs and vulnerabilities in web pages and browser extensions. In practice\, an attacker can leverage both malicious and vulnerable JavaScript code to compromise the security and privacy of Web users.\nIn this talk\, I will approach these issues by proposing several systems to statically analyze real-world JavaScript code.\nFirst\, I will focus on _malicious JavaScript_. I will briefly introduce static detectors\, which leverage machine learning techniques to detect malicious JavaScript samples. Then\, I will evaluate the robustness of such static detectors in an adversarial setting. In particular\, I will introduce HideNoSeek\, our generic camouflage attack that consists of rewriting malicious JavaScript samples so that they have the same syntactic structure as existing benign scripts.\nFinally\, I will focus on _vulnerable JavaScript_ code from browser extensions. I will present DoubleX\, our open-source static analyzer that detects vulnerable data flows in browser extensions with high precision (89%) and recall (93%).\nThrough this talk\, I aim to raise awareness about the risks posed by malicious and vulnerable JavaScript code\, and to discuss strategies for mitigating such threats. \nSpeaker’s bio:\nAurore Fass is a Tenure-Track Faculty at CISPA Helmholtz Center for Information Security. She got her Ph.D. from CISPA & Saarland University in 2021. From 2021 to 2023\, she was a Visiting Assistant Professor of Computer Science at Stanford University. Aurore’s research broadly focuses on Web Security & Privacy and Web Measurements. Specifically\, she designs practical approaches to protect the security and privacy of Web users. She builds systems to proactively detect malicious JavaScript code and suspicious browser extensions.\nAurore co-chaired the MADWeb 2024 & 2023 workshop\, co-located with NDSS\, and she is ACM CCS 2024 workshop co-chair. In addition\, she has served on the program committees of the leading security conferences and has received Distinguished Reviewer Awards at ACM CCS 2023 & 2022\, ACSAC 2023\, and TheWebConf 2022. \n\nContact: Maira Nassau (prénom.nom@loria.fr)
URL:https://www.loria.fr/event/studying-javascript-security-through-static-analysis-detection-of-malicious-and-vulnerable-code-defmal-webinar-with-aurore-fass/
LOCATION:online
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240513
DTEND;VALUE=DATE:20240516
DTSTAMP:20260608T114949
CREATED:20240416T143514Z
LAST-MODIFIED:20240417T090320Z
UID:25762-1715558400-1715817599@www.loria.fr
SUMMARY:Pint of Science
DESCRIPTION:Du 13 au 15 mai\, 11 événements Pint of science auront lieu dans les différents bars de Nancy !\n\n\n\nPint of Science est un festival international qui propose des moments de rencontre entre chercheurs et public dans un cadre détendu permettant de stimuler le dialogue science-société\, l’esprit critique et la curiosité pour la recherche scientifique. \nParmi les soirées organisées à Nancy\, trois seront animées par des doctorants et post-doctorants des équipes du Loria : \n\n\n13/05 au Pub Mac Carthy : Du pixel aux jeux vidéo\, animée par Bastien Laboureix (Doctorant UL au Loria\, équipe Adagio) et Sébastien Genvo (Professeur UL et chercheur au CREM)\n14/05 au Pub Mac Carthy : Avec ou sans accent ?\, animée par Sam Bigeard (Post-doctorant Inria au Loria\, équipe Multispeech) et Adam Wilson (Maître de conférences UL et chercheur à l’unité de recherche IDEA)\n15/05 au Barami : Gare aux pirates !\, animée par Quentin Acher (Doctorant Inria au Loria\, équipe Coast) et Léo Bertrand (Doctorant UL au Loria\, équipe Carbone)\n\n\n\n?️ Retrouvez le programme complet et réservez vos entrées sur le site de Pint of Science
URL:https://www.loria.fr/event/pint-of-science/
CATEGORIES:Événement grand public
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Pint-of-science.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240515T200000
DTEND;TZID=Europe/Paris:20240515T213000
DTSTAMP:20260608T114949
CREATED:20240507T085043Z
LAST-MODIFIED:20240507T085043Z
UID:26137-1715803200-1715808600@www.loria.fr
SUMMARY:Conférence sur l'intelligence artificielle de l'UP2V
DESCRIPTION:L’UP2V (Université Populaire de Vandoeuvre-lès-Nancy) organise le 15 mai une conférence de Nazim Fatès à la Ferme du Charmois à Vandoeuvre. \nIntelligence artificielle : entre technoscience et alchimie\nDepuis une douzaine d’années\, l’intelligence artificielle va de progrès sidérant en progrès foudroyant. Le mouvement s’accélère et nul ne sait dans quoi nous sommes embarqués.\n\nComment distinguer le vrai du faux dans tout ce qui se dit et s’écrit sur ce thème ? Nos emplois et nos modes de vie vont-ils être remodelés de fond en comble ? Où trouver un point stable au moment où presque tout se numérise ? Certains affirment qu’il faut s’adapter\, apprendre le « code »\, les techniques numériques\, et peut-être même les mathématiques sous-jacentes. Pourtant\, à ce jour\, construire un système d’intelligence artificielle reste une activité largement empirique. Sommes- nous face à une forme de magie moderne ? Mettons-nous à l’écoute de la langue de notre époque pour tenter d’y trouver quelques clés d’interprétation. \nNazim Fatès est chercheur au centre Inria de l’université de Lorraine où il travaille sur le thème de la robustesse des systèmes complexes. Ingénieur de formation\, il a effectué son doctorat sur l’étude des automates cellulaires et est diplômé en histoire et philosophie des sciences. Il enseigne à l’université et intervient régulièrement sur la question de l’intelligence artificielle pour des publics variés. \nPlus d’informations sur le site de l’UP2V.
URL:https://www.loria.fr/event/conference-sur-lintelligence-artificielle-de-lup2v/
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240521T133000
DTEND;TZID=Europe/Paris:20240521T143000
DTSTAMP:20260608T114949
CREATED:20240429T114714Z
LAST-MODIFIED:20240429T140914Z
UID:26117-1716298200-1716301800@www.loria.fr
SUMMARY:Séminaire de la CARE : Vincent Courboulay
DESCRIPTION:La CARE (Commission pour l’Action et la Responsabilité Écologique) vous invite à son séminaire le mardi 21 mai à 13h30 dans l’amphithéâtre. \nVincent Courboulay\, maître de conférences en informatique à l’Université de La Rochelle\, interviendra lors d’un exposé intitulé « De la nécessité de la recherche pour une IA responsable ». \nDans un monde où l’intelligence artificielle façonne de plus en plus notre quotidien\, la question de son utilisation responsable devient cruciale. Nous aborderons les défis actuels et futurs que posent le développement et l’implémentation de technologies d’IA\, en mettant l’accent sur l’importance de la recherche pour naviguer dans ces eaux complexes. Nous explorerons comment la recherche en IA peut guider le développement de technologies qui non seulement respectent les normes éthiques\, mais qui contribuent également au bien-être social et à limiter son impact environnemental.
URL:https://www.loria.fr/event/seminaire-de-la-care-vincent-courboulay/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240522
DTEND;VALUE=DATE:20240524
DTSTAMP:20260608T114949
CREATED:20240425T122327Z
LAST-MODIFIED:20240425T122327Z
UID:26113-1716336000-1716508799@www.loria.fr
SUMMARY:Journées scientifiques CORTICO
DESCRIPTION:La sixième édition des Journées scientifiques CORTICO aura lieu du 22 au 23 Mai 2024 à Nancy à l’IDMC. \nCORTICO est une association loi 1901 qui a pour but de créer des synergies favorisant l’avancement des recherches\, développements et usages relatifs aux interfaces cerveau-ordinateur (ICO). \n\nSite de l’événement et programme\n\nInscriptions\n50 € pour les étudiants\, 100 € pour les non-étudiants\, inscription gratuite pour les membres de l’association. \n\nPlus d’informations sur ce lien
URL:https://www.loria.fr/event/journees-scientifiques-cortico/
LOCATION:IDMC\, 13 Rue Michel Ney\, Nancy\, France
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240523T190000
DTEND;TZID=Europe/Paris:20240523T210000
DTSTAMP:20260608T114949
CREATED:20240424T083336Z
LAST-MODIFIED:20240426T151400Z
UID:26095-1716490800-1716498000@www.loria.fr
SUMMARY:"L’art rencontre l’informatique"\, soirée "Bar à Sciences" avec Gilles Simon
DESCRIPTION:La prochaine soirée « Bar à Sciences » aura lieu le 23 mai à 19h à la Rhumerie La Plantation. À cette occasion\, Gilles Simon\, Professeur à l’Université de Lorraine et chercheur au Loria\, présentera ses travaux autour de la perspective chez Jan van Eyck. \nLes soirées « Bar à sciences »\nLa Métropole du Grand Nancy déploie depuis cette année l’action «  Bar à Sciences ». Cette action consiste en la création d’un programme mensuel de soirées ludiques de médiation scientifique dans des bars et lieux culturels du territoire métropolitain. Ces soirées seront des lieux de rencontres humaines dont la connaissance sera le centre\, au travers de différentes disciplines et capitalisant sur le fort potentiel académique et scientifique du territoire où la formation\, la recherche et l’innovation se côtoient autour d’un écosystème et d’une communauté scientifique riche. Elles permettront d’enrichir les connaissances en favorisant la rencontre entre un chercheur une chercheuse et le grand public autour d’une animation\, de jeux\, de quizz et d’une discussion ouverte. \nPlus d’informations sur le site de la Métropole du Grand Nancy
URL:https://www.loria.fr/event/lart-rencontre-linformatique-soiree-bar-a-sciences-avec-gilles-simon/
LOCATION:Rhumerie La Plantation
CATEGORIES:Événement grand public
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240528
DTEND;VALUE=DATE:20240601
DTSTAMP:20260608T114949
CREATED:20240402T140749Z
LAST-MODIFIED:20240402T140749Z
UID:25728-1716854400-1717199999@www.loria.fr
SUMMARY:INFORSID 2024
DESCRIPTION:Depuis 1982\, le congrès annuel INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision) constitue le lieu d’échange privilégié entre chercheurs et praticiens pour identifier et explorer les problématiques\, les opportunités et les solutions que les SI apportent ou absorbent. \nC’est aussi l’occasion de partager et de diffuser les expériences de mise en œuvre des méthodes\, modèles\, outils et solutions liés aux nouvelles technologies. Les SI sont omniprésents au sens où aucun domaine d’activité n’y échappe. \nAussi\, dans certains secteurs (santé\, finance\, agriculture\, environnement\, culture\, logistique\, etc.)\, les SI posent des défis qui sont propres à leurs secteurs\, ouvrant ainsi des champs d’étude spécifiques. \nLe congrès INFORSID 2024 se tiendra à Nancy du 28 au 31 mai 2024 dans les locaux du Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA). \nNous sollicitons\, comme chaque année\, la présentation de travaux de recherche récents\, de développements industriels et d’expériences significatives dans le domaine de l’ingénierie et des systèmes d’information\, mais également des travaux plus exploratoires\, ou simplement une idée sur laquelle débattre. \n\n\n\n\nMERCI À NOS PARTENAIRES \n\n\nPartenaires\nLes sponsors du congrès INFORSID 2024 sont le pôle scientifique AM2I de l’Université de Lorraine\, le laboratoire LORIA\, l’INRIA et la Métropole du Grand Nancy.
URL:https://www.loria.fr/event/inforsid-2024/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240601
DTEND;VALUE=DATE:20240610
DTSTAMP:20260608T114949
CREATED:20240531T073934Z
LAST-MODIFIED:20240531T074157Z
UID:26348-1717200000-1717977599@www.loria.fr
SUMMARY:Le village de l'innovation à la Foire Expo de Nancy
DESCRIPTION:L’Université de Lorraine vous invite à visiter le « Village de l’innovation du site lorrain » lors de la Foire Expo de Nancy. \nCe stand vise à promouvoir une recherche collaborative et accessible à toutes et tous\, abordant des thèmes variés tels que la réalité virtuelle\, le cinéma\, l’impression 3D ou encore la robotique. Venez tester notre simulateur de parapente\, découvrez des jeux interactifs et notre innovation made in Lorraine ! \nEn tant qu’acteur majeur de la recherche et de l’innovation dans la région\, l’Université de Lorraine favorise une recherche collaborative et s’engage à rendre la recherche et l’innovation accessibles à tous. \nVenez rencontrer des étudiants\, des chercheurs et des enseignants qui veulent partager leur passion et leurs idées. \n\nRetrouvez-nous du 1er au 9 juin\, Hall B – Stand F43 !\nProgramme complet et planning en pièces jointes ci-dessous ! \n\nPlus d’informations sur les horaires : https://foireexpo-nancy.com/infos-pratiques\n Description des projets présentés sur le stand UL\n Planning des projets présentés sur le stand UL\n Règlement du jeu Facebook et Instagram\n Règlement du jeu de la borne interactif
URL:https://www.loria.fr/event/le-village-de-linnovation-a-la-foire-expo-de-nancy/
LOCATION:Parc Expo de Nancy\, Rue Catherine Opalinska\, Vandoeuvre-lès-Nancy\, France
CATEGORIES:Autres
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/foire_expo_2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240603
DTEND;VALUE=DATE:20240604
DTSTAMP:20260608T114949
CREATED:20240523T095645Z
LAST-MODIFIED:20240523T095728Z
UID:26243-1717372800-1717459199@www.loria.fr
SUMMARY:7th CISPA-LORIA workshop
DESCRIPTION:The 7th CISPA-LORIA workshop will be about cryptography and will take place at Loria. \nThe program includes presentations and working groups on public key cryptography and symmetric cryptography. It will be an opportunity for exchanging and brainstorming about joint topics between researchers from CISPA and LORIA. \n\nMore information about the French-German Center for Cybersecurity (partnership between CISPA and Loria).
URL:https://www.loria.fr/event/7th-cispa-loria-workshop-2/
LOCATION:Loria
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240606T090000
DTEND;TZID=Europe/Paris:20240606T120000
DTSTAMP:20260608T114949
CREATED:20240527T110843Z
LAST-MODIFIED:20240527T140228Z
UID:26313-1717664400-1717675200@www.loria.fr
SUMMARY:Soutenance de Timothée Anne (Larsen)
DESCRIPTION:Timothée Anne (Larsen) soutiendra sa thèse intitulée « L’optimisation multi-tâche et ses applications à la robotique : d’abord résoudre\, ensuite généraliser »\, le 6 juin à 9h en salle B013. \n\nRésumé\nDoter des agents artificiels\, tels que des robots\, d’une capacité à apprendre à réaliser des tâches complexes et à s’adapter est une quête centrale de la recherche en intelligence artificielle. L’apprentissage par renforcement profond en est aujourd’hui une des méthodes privilégiées\, mais n’est ni toujours simple à mettre en œuvre\, ni toujours la plus performante. \nDans cette thèse\, nous étudions un autre concept d’apprentissage de politique qui se divise en deux étapes : une étape de résolution d’un ensemble de sous-problèmes puis une étape de généralisation. Plus formellement\, la première étape reformule le problème général comme un problème multi-tâche permettant d’obtenir un jeu de données de solutions. La seconde étape utilise de l’apprentissage supervisé sur ce jeu de données pour entraîner une politique générale.Nous évaluons d’abord la viabilité de ce concept à un problème d’apprentissage de réflexes d’évitement de chute avec un robot humanoïde réel. Non seulement il permet d’apprendre des comportements en simulation qui permettent d’éviter la chute dans plus de 75\% des cas\, mais ces comportements sont assez robustes pour fonctionner sur le robot réel. \nNous développons ensuite un algorithme de qualité-diversité multi-tâche\, Multi-Task Multi-Behavior MAP-Elites\, pour améliorer l’efficacité d’échantillonnage de la première étape de résolution. Nous illustrons cet algorithme sur le même problème d’apprentissage de réflexes d’évitement de chute d’un robot humanoïde et pour généraliser à des environnements plus réalistes. \nNous proposons enfin de passer d’une étape de résolution discrète à une résolution continue. Pour ce faire\, nous reformulons le problème d’optimisation multi-tâche boîte noire comme un problème d’optimisation paramétrique et proposons une méthode pour le résoudre : Parametric-Task MAP-Elites. \Parametric-Task MAP-Elites résout une nouvelle tâche à chaque itération\, recouvrant asymptotiquement l’espace des tâches. Après avoir consommé son budget d’évaluations\, \eng{Parametric-Task MAP-Elites} distille les solutions trouvées dans une politique pour généraliser à l’ensemble de l’espace continu. \nL’optimisation multi-tâche est une méthode sous-exploitée qui montre\, dans cette thèse\, son aptitude à permettre de résoudre certains problèmes de robotique de façon plus simple à mettre en œuvre et plus performante que l’apprentissage par renforcement profond. \nJury\nRapporteurs : \n\nClément Moulin-Frier\, Centre Inria de l’université de Bordeaux\nMarc Schoenauer\, Centre Inria de Saclay\n\nExaminatrices : \n\nBernardetta Addis\, LORIA – Université de Lorraine\nAmy Hoover\, New Jersey Institute of Technology\n\nEncadrant : Jean-Baptiste Mouret\, Centre Inria de l’Université de Lorraine
URL:https://www.loria.fr/event/soutenance-de-timothee-anne-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240612T100000
DTEND;TZID=Europe/Paris:20240612T123000
DTSTAMP:20260608T114949
CREATED:20240604T133212Z
LAST-MODIFIED:20240604T133429Z
UID:26384-1718186400-1718195400@www.loria.fr
SUMMARY:Van Eyck. Représenter les vivants et les morts. L’invention de la « photographie » au XVe siècle
DESCRIPTION:La dernière séance de la saison 2023-2024 du séminaire Les liens qui font les humanités numériques\, accueillent un couple intellectuel original et emblématique du mouvement des humanités numériques : Ludovic Balavoine\, historien et spécialiste de Van Eyck\, et Gilles Simon\, informaticien et spécialiste de vision par ordinateur. Les deux chercheurs se sont associés pour écrire ensemble un livre sur les méthodes optiques utilisées par le plus connu des maîtres flamands pour peindre ses toiles éblouissantes de justesse de proportions et  de perspective. Cette séance sera l’occasion de plonger dans l’un des chapitres de cet ouvrage à paraître en 2024\, celui de ce que les auteurs nomment “l’invention de la “photographie” par Van Eyck au XVe siècle”. \nÉtymologiquement\, le mot « photographie » signifie « écriture ou dessin avec la lumière ». Au XVe s.\, les artistes s’interrogent sur la façon de représenter le monde et ses habitants\, dans une quête de réalisme toujours plus précise\, qui les rapproche de la démarche « photographique ». La question de la trace à laisser grandit chez des commanditaires d’œuvres : laisser une trace de son vivant\, pour la postérité\, laisser une trace des disparus. En partant des Époux Arnolfini de Jan van Eyck\, l’objectif est de montrer comment les artistes représentent les vivants et les morts au XVe siècle. Nous démontrons en particulier que Van Eyck a réalisé ses portraits sur un miroir\, et que l’homme au turban rouge est bien un autoportrait de Jan. \n\nSéance gratuite et ouverte à tous et toutes.\nPetit-déjeuner offert.\n\nPage de l’événement
URL:https://www.loria.fr/event/van-eyck-representer-les-vivants-et-les-morts-linvention-de-la-photographie-au-xve-siecle/
LOCATION:Salle Berthier\, Ecole Normale Supérieure\, 29 rue d’Ulm\, Paris
CATEGORIES:Conférence
ATTACH;FMTTYPE=image/png:https://www.loria.fr/wp-content/uploads/Visuel_seminaire-12-06_ENS-327x500-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240617T140000
DTEND;TZID=Europe/Paris:20240617T170000
DTSTAMP:20260608T114949
CREATED:20240610T131604Z
LAST-MODIFIED:20240610T131604Z
UID:26394-1718632800-1718643600@www.loria.fr
SUMMARY:PhD Defense: Nicolas Hubert (BIRD)
DESCRIPTION:Nicolas Hubert\, PhD student in the ERPI laboratory and in the BIRD team\, will defend his thesis on Monday\, 17 June 2024 at 2pm in the Auditorium 1 of the ENSGSI. \nHis thesis is entitled « From knowledge-aware to knowledge-enhanced graph embedding models for link prediction ». \nRapporteurs:\nFatiha Saïs\, Professeure\, Université Paris Saclay\nPaul Groth\, Professor\, University of Amsterdam\nExaminator:\nFabian Suchanek\, Professor\, Télécom Paris\, Institut Polytechnique de Paris\nInvited guest:\nHeiko Paulheim\, Professor\, University of Mannheim\nSupervisors:\nDavy Monticolo\, Professor\, Université de Lorraine\nArmelle Brun\, Professeure\, Université de Lorraine\n\n\n\nAbstract:\n\nKnowledge graph embedding models (KGEMs) have gained considerable traction in recent years. These models learn a vector representation of knowledge graph entities and relations\, a.k.a. knowledge graph embeddings (KGEs). This thesis specifically explores the advancement of KGEMs for the link prediction (LP) task\, which is of utmost importance as it underpins several downstream applications such as recommender systems.\nIn this thesis\, various challenges around the use of KGEMs for LP are identified: the scarcity of semantically rich resources\, the unidimensional nature of evaluation frameworks\, and the lack of semantic considerations in prevailing machine learning-based approaches.\nCentral to this thesis is the proposition of novel solutions to these challenges. Firstly\, the thesis contributes to the development of semantically rich resources: mainstream datasets for link prediction are enriched using schema-based information\, EducOnto and EduKG are proposed to overcome the paucity of resources in the educational domain\, and PyGraft is introduced as an innovative open-source tool for generating synthetic ontologies and knowledge graphs. Secondly\, the thesis proposes a new semantic-oriented evaluation metric\, Sem@K\, offering a multi-dimensional perspective on model performance. Importantly\, popular models are reassessed using Sem@K\, which reveals essential insights into their respective capabilities and highlights the need for multi-faceted evaluation frameworks. Thirdly\, the thesis delves into the development of neuro-symbolic approaches\, transcending traditional machine learning paradigms. These approaches do not only demonstrate improved semantic awareness but also extend their utility to diverse applications such as recommender systems.\nIn summary\, the present work not only redefines the evaluation and functionality of knowledge graph embedding models but also sets the stage for more versatile\, interpretable AI systems\, underpinning future explorations at the intersection of machine learning and symbolic reasoning.\nKeywords:\nKnowledge graph\, Graph embedding\, Neuro-symbolic AI\, Link prediction\nRésumé:\n\nLes modèles d’embeddings à base de graphes de connaissances ont considérablement gagné en popularité ces dernières années. Ces modèles apprennent une représentation vectorielle des entités et des relations des graphes de connaissances (GCs). Cette thèse explore spécifiquement le progrès de tels modèles pour la tâche de prédiction de lien (PL)\, qui est d’une importance capitale car elle se retrouve dans plusieurs applications telles que les systèmes de recommandation.\nDans cette thèse\, divers défis liés à l’utilisation des modèles d’embeddings de GCs pour la PL sont identifiés : la rareté des ressources sémantiquement riches\, la nature unidimensionnelle des cadres d’évaluation\, et le manque de considérations sémantiques dans les approches d’apprentissage automatique.\nCette thèse propose des solutions novatrices à ces défis. Premièrement\, elle contribue au développement de ressources sémantiquement riches : les jeux de données principaux pour la prédiction de lien sont enrichis en utilisant des informations basées sur des schémas\, EducOnto et EduKG sont proposés pour surmonter la pénurie de ressources dans le domaine éducatif\, et PyGraft est introduit comme un outil innovant pour générer des ontologies synthétiques et des graphes de connaissances. Deuxièmement\, la thèse propose une nouvelle métrique d’évaluation orientée sémantique\, Sem@K\, offrant une perspective multidimensionnelle sur la performance des modèles. Il est important de souligner que les modèles populaires sont réévalués en utilisant Sem@K\, ce qui révèle des aspects essentiels et jusqu’alors inexplorés de leurs capacités respectives et souligne le besoin de cadres d’évaluation multidimensionnels. Troisièmement\, la thèse se penche sur le développement d’approches neuro-symboliques\, transcendant les paradigmes traditionnels de l’apprentissage automatique. Ces approches ne démontrent pas seulement une meilleure capacité sémantique dans leurs prédictions\, mais étendent également leur utilité à diverses applications telles que les systèmes de recommandation.\nEn résumé\, le présent travail ne redéfinit pas seulement l’évaluation et la fonctionnalité des modèles d’embeddings de GCs\, mais prépare également le terrain pour des systèmes d’intelligence artificielle plus polyvalents et interprétables\, soutenant les explorations futures à l’intersection de l’apprentissage automatique et du raisonnement symbolique.\n\nMots clés: \n\n\nGraphe de connaissance\, Plongement de graphe\, IA neuro-symbolique\, Prédiction de lien
URL:https://www.loria.fr/event/phd-defense-nicolas-hubert-bird/
LOCATION:ENSGSI
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240619T140000
DTEND;TZID=Europe/Paris:20240619T170000
DTSTAMP:20260608T114949
CREATED:20240527T093340Z
LAST-MODIFIED:20240527T111323Z
UID:26316-1718805600-1718816400@www.loria.fr
SUMMARY:Soutenance de Bastien Laboureix (Adagio)
DESCRIPTION:Bastien Laboureix (Adagio) soutiendra sa thèse intitulée « Hyperplans arithmétiques : connexité\, reconnaissance & transformations » le 19 juin à 14h en salle A008. \nRésumé\nLe monde numérique est parsemé de structures mathématiques discrètes\, destinées à être facilement manipulables par un ordinateur tout en donnant à notre cerveau l’impression d’être de belles formes réelles continues. Les images numériques peuvent ainsi être vues comme des sous-ensembles de Z^2. En géométrie discrète\, nous nous intéressons aux structures de Z^d et cherchons à établir des propriétés géométriques ou topologiques sur ces objets. Si les questions que nous nous posons sont relativement simples en géométrie euclidienne\, elles deviennent beaucoup plus difficiles en géométrie discrète : plus de division\, adieu les limites\, tout n’est plus qu’arithmétique. Cette thèse est également l’occasion de jongler avec de nombreuses notions élémentaires de mathématiques et d’informatique (algèbre linéaire\, anneaux\, automates\, analyse réelle\, arithmétique\, combinatoire) pour résoudre des questions de géométrie discrète. \nNous nous intéressons à des structures fondamentales de cette géométrie : les hyperplans arithmétiques. Ceux-ci ont en effet une définition très simple et purement arithmétique : un hyperplan arithmétique est l’ensemble des points entiers situés entre deux hyperplans (réels) affines parallèles. Nous parlons dans cette thèse de trois problèmes portant sur les hyperplans arithmétiques :\n– la connexité : un hyperplan arithmétique est-il composé d’un seul morceau ou de plusieurs ? Apport principal de ce manuscrit\, nous étendons des résultats déjà connus pour la connexité par faces pour des voisinages quelconques. Si certains phénomènes demeurent dans le cas général\, l’explosion combinatoire rend difficile l’adaptation des algorithmes connus pour résoudre le problème. Nous adoptons donc une approche analytique et prouvons des propriétés de connexité en étudiant la régularité d’une fonction.\n– la reconnaissance : comment connaître les caractéristiques d’un hyperplan arithmétique ? Problème plus classique de géométrie discrète\, avec une littérature très riche\, nous proposons pour le résoudre un algorithme de reconnaissance reposant sur l’arbre de Stern-Brocot généralisé. Nous introduisons notamment la notion de corde séparante qui caractérise géométriquement les zones auxquelles appartiennent les paramètres d’un hyperplan arithmétique.\n– les transformations douces : comment transformer continûment un hyperplan arithmétique via des translations ou rotations ? Approche discrète des transformations homotopiques\, nous caractérisons les mouvements de pixels possibles dans une structure discrète tout en préservant ses propriétés géométriques. \nAu-delà de l’étude de ces problèmes et des résultats que nous avons pu obtenir\, cette thèse montre l’intérêt d’utiliser des réels\, et notamment de l’analyse réelle\, pour mieux comprendre les hyperplans arithmétiques. Ces derniers sont en effet caractérisés en grande partie par leur vecteur normal\, souvent considéré entier pour obtenir des propriétés de périodicité. Considérer des vecteurs normaux réels quelconques permet de gagner en souplesse\, et de faire disparaître les phénomènes de bruit induits par les relations arithmétiques du vecteur. S’ouvrir de nouveau au réel est enfin un moyen de créer des ponts vers d’autres branches des mathématiques\, comme la combinatoire des mots ou les systèmes de numération. \nJury\nRapporteurs :\n• Jacques-Olivier Lachaud\, Professeur à l’Université Savoie Mont-Blanc\, LAMA\n• Yan Gérard\, Maître de Conférences à l’Université Clermont-Auvergne\, LIMOS \nExaminateurs :\n• Emilie Charlier\, Chargée de travaux à l’Université de Liège\, Institut de Mathématiques\n• Emmanuel Jeandel\, Professeur à l’Université de Lorraine\, LORIA \nInvités :\n• Eric Andres\, Professeur à l’Université de Poitiers\, XLIM\n• Laurent Vuillon\, Professeur à l’Université Savoie Mont-Blanc\, LAMA \nEncadrants :\n• Isabelle Debled-Rennesson\, Professeure à l’Université de Lorraine\, LORIA\n• Eric Domenjoud\, Chargé de Recherche CNRS\, LORIA
URL:https://www.loria.fr/event/soutenance-de-bastien-laboureix-adagio/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T090000
DTEND;TZID=Europe/Paris:20240620T140000
DTSTAMP:20260608T114949
CREATED:20240613T092100Z
LAST-MODIFIED:20240613T092100Z
UID:26424-1718874000-1718892000@www.loria.fr
SUMMARY:Workshop FCA4AN: Friends\, Concepts & Acoustics for Amedeo Napoli
DESCRIPTION:Miguel Couceiro and Pierre Monnin are organizing the workshop FCA4AN: Friends\, Concepts & Acoustics for Amedeo Napoli on Thursday\, June 20 in room A008. \nOn the program: reminiscing scientific work\, friendly moments and funny stories that we shared with Amedeo Napoli. \n• 09h00-09h30: Yannick Toussaint & medal ceremony• 09h30-09h45: Sergey O. Kuznetsov• 09h45-10h00: Marianne Huchard• 10h00-10h15: Florence Le Ber• 10h15-10h30: Mehdi Kaytoue• 10h30-10h45: Karell Bertet\n \n10h45-11h15: Break \n• 11h15-11h30: Jaume Bauxeries• 11h30-11h45: Tanya Makhalova• 11h45-12h00: Jérôme Euzenat• 12h00-12h15: Mehwish Alam• 12h15-12h30: Miguel Couceiro & Pierre Monnin• 12h30-14h00: Lunch (Buffet) \nRegistration: Miguel Couceiro (prénom.nom@loria.fr)
URL:https://www.loria.fr/event/workshop-fca4an-friends-concepts-acoustics-for-amedeo-napoli/
LOCATION:A008
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T183000
DTEND;TZID=Europe/Paris:20240620T210000
DTSTAMP:20260608T114949
CREATED:20240527T085119Z
LAST-MODIFIED:20240527T085253Z
UID:26305-1718908200-1718917200@www.loria.fr
SUMMARY:[Soirée Cult’] "Dune" dans l’œil des experts
DESCRIPTION:Plongez dans l’univers fascinant de Dune pendant La Soirée Cult’ \nPréparez-vous à un voyage épique dans les déserts lointains d’Arrakis\, où le sable cache des mystères et des intrigues inoubliables. La Soirée Cult’ vous invite à explorer l’univers riche et captivant de Dune\, à la fois dans ses écrits originaux et dans ses adaptations cinématographiques emblématiques. \nCommencez votre voyage dans l’univers de Dune avec des extraits des films emblématiques. Plongez dans l’atmosphère aride d’Arrakis et re-découvrez ses intrigues. \nTrois chercheurs et chercheuses vous guideront à travers les aspects scientifiques de Dune lors de petites interviews dynamiques. Posez-leur vos questions sur des sujets allant de la linguistique à l’exploitation des ressources extraterrestres en passant par l’IA. \nRevenus sur Terre\, testez vos connaissances scientifiques et cinématographiques sur Dune lors de notre quiz spécial. Des prix choisis avec soin vous attendent\, alors montrez vos compétences et impressionnez-nous avec votre savoir sur l’univers de Frank Herbert. \n?️ Réservation de billets
URL:https://www.loria.fr/event/soiree-cult-dune-dans-loeil-des-experts/
LOCATION:Amphithéâtre Cuénot du Muséum Aquarium de Nancy\, 13 rue Godron\, Nancy
CATEGORIES:Événement grand public
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/Post-insta-soirée-cult-Dune.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T100000
DTEND;TZID=Europe/Paris:20240624T120000
DTSTAMP:20260608T114949
CREATED:20240612T151027Z
LAST-MODIFIED:20240612T151027Z
UID:26415-1719223200-1719230400@www.loria.fr
SUMMARY:Soutenance d'Ambroise Baril
DESCRIPTION:Ambroise Baril (Orpailleur) soutiendra sa thèse intitulée « Complexité fine et paramétrée des problèmes de coloriage de graphe » le 24 juin à 10h en salle A008. \nRésumé\nL’objectif de la thèse est d’étudier la complexité fine et paramétrée du problème de H-coloration\, ainsi que la classe plus générale des problèmes CSP(Gamma)\, en utilisant des méthodes d’algèbre universelle. Ici\, l’approche récemment développée basée sur la théorie des clones partiels semble être pertinente\, puisqu’on sait que les polymorphismes partiels (pPol(·)) des langages de contraintes sont corrélés à la complexité de CSP(Gamma) dans le pire cas le pire des cas O(c^n). \nJury\nEncadrants \n\nDirecteur de thèse : Miguel Couceiro\, UNIVERSITE DE LORRAINE\nCo-directeur de thèse : Victor Lagerkvist\, UNIVERSITE DE LINKÖPING\n\nRapporteurs \n\nPierre Charbit\, UNIVERSITE PARIS-CITE\nJohanne Cohen\, UNIVERSITE PARIS-SACLAY\n\nExaminateurs \n\nBernardetta Addis\, UNIVERSITE DE LORRAINE\nJovanka Pantović\, FACULTY OF TECHNICAL SCIENCES – SERBIA
URL:https://www.loria.fr/event/soutenance-dambroise-baril/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T133000
DTEND;TZID=Europe/Paris:20240624T150000
DTSTAMP:20260608T114949
CREATED:20240610T160227Z
LAST-MODIFIED:20240612T123113Z
UID:26398-1719235800-1719241200@www.loria.fr
SUMMARY:Colloquium du Loria : Kristin Yvonne Rozier
DESCRIPTION:Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l’amphithéâtre.\n\nNous aurons le plaisir d’accueillir Kristin Yvonne Rozier\, chercheuse au département d’ingénierie spatiale et d’informatique d’Iowa State University.\n\nLa présentation est intitulée « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » et sera en anglais.\n\nRésumé : \nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\nLes personnes extérieures au Loria peuvent s’inscrire par email auprès de Marie Baron (prénom.nom@loria.fr) avant le 20 juin.\n\n– – – – –\n\n\nNext Loria colloquium will take place on Monday\, June 24th at 1.30 pmin the amphitheater.\n\nWe will have the pleasure to welcome Kristin Yvonne Rozier\, researcher at the faculty of the Aerospace Engineering and Computer Science Departments of Iowa State University.\n\n\nThe presentation is entitled « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » and will be in English. \n\nABSTRACT:\nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\n\nPeople from outside the Loria can register by sending an email to Marie Baron (prenom.nom@loria.fr) before June 20th.
URL:https://www.loria.fr/event/colloquium-du-loria-kristin-yvonne-rozier/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T140000
DTEND;TZID=Europe/Paris:20240624T170000
DTSTAMP:20260608T114949
CREATED:20240527T130722Z
LAST-MODIFIED:20240527T130829Z
UID:26327-1719237600-1719248400@www.loria.fr
SUMMARY:PhD Defense: Esteban Marquer (Orpailleur)
DESCRIPTION:Esteban Marquer (Orpailleur) will defend his thesis\, entitled « Reasoning over Data: Analogy-based and Transfer Learning to improve Machine Learning »\, on Monday\, June 24 at 2 p.m.\, in room B013. \nAbstract\nRecent years have seen a renewed interest in the potential of analogy detection and analogical inference\, with successful applications in Machine Learning (ML) to the retrieval and generation of images\, of text\, and structured data such as knowledge graphs\, but also the detection of relations between and within images\, texts\, and structured data. While some of those works are based on an intuitive understanding of analogy\, significant effort has been made since the antiquity to define analogies as accurately as possible. Analogies are a key component of human cognition\, and can be viewed as an abstraction mechanism that identifies similarities and differences between different situations\, and as a reasoning tool to adapt known solutions to new situation. When reasoning by analogy\, the goal is to adapt the solution of a known or source problem\, which is sufficiently similar to the actual or target problem. This process involves a transfer between the context of the source problem (the problem and its solution) and the context of the target problem. In the past 50 years\, different aspects of the notion of Analogical Proportions (APs) have been explored. An AP is typically composed of four elements\, written A:B::C:D when the ratio between A and B is conform with the one between C and D\, and this formal tool has been declined to cover numerous different interpretations of what an analogy can be\, with any number of elements. In our work\, we explore different methods to tackle the detection of APs and solving of analogical equations on different domains\, using Deep Learning (DL). In particular\, we study word morphology and Target Sense Disambiguation for words in context\, two domains for which our model outperform the State of the Art (SotA)\, as well as in frame semantics\, where we obtain encouraging results. We also study CoAT\, a Case-Based Reasoning (CBR) system based on analogical transfer. With CoAT\, we encounter significant success in the measure of case competence and in the task of case base compression. \nJury\n\nReviewers:\n\nZied Bouraoui\, MCF HdR : Université d’Artois\, France\nPr. Dafna Shahaf : Hebrew University of Jerusalem\, Israel\n\nExaminers:\n\nPr. Mário A. T. Figueiredo : Instituto Superior Técnico\, Portugal\nPr. Maxime Amblard : Université de Lorraine\, France\n\n\nInvited guests : \n\n\nPr. David B. Leake : Indiana University\, United States\nPr. Yves Lepage : Waseda University\, Japan\n\nSupervisors:\n\n\n\nPr. Miguel Couceiro : Université de Lorraine\, France\nAlain Gély\, MCF : Université de Lorraine\, France
URL:https://www.loria.fr/event/phd-defense-esteban-marquer-orpailleur/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240625T133000
DTEND;TZID=Europe/Paris:20240625T163000
DTSTAMP:20260608T114949
CREATED:20240527T124257Z
LAST-MODIFIED:20240527T124415Z
UID:26323-1719322200-1719333000@www.loria.fr
SUMMARY:Soutenance de Jacques Zhong (Larsen)
DESCRIPTION:Jacques Zhong (Larsen) soutiendra sa thèse intitulée « Prise en compte de la variabilité morphologique d’opérateurs sur des chaînes de montage en réalité virtuelle » le 25 juin à 13h30 en salle C005. \nRésumé\nDans l’industrie\, les troubles musculo-squelettiques constituent un problème de santé majeur affectant le bien-être et la productivité des travailleurs. Le travail d’un ergonome consiste à identifier les facteurs de risque et à mettre en place des mesures correctives pour améliorer les conditions de travail. Parmi les facteurs de risque\, la morphologie d’un individu a un rôle déterminant sur le développement des troubles musculo-squelettiques et doit être prise en compte lors de l’évaluation ergonomique. Dans ce contexte\, l’objectif de la thèse est de développer des outils pour évaluer l’adéquation d’un poste de travail à une grande variété de morphologies de travailleurs. Les outils de simulation d’humains virtuels sont couramment utilisés dans l’industrie pour réduire les coûts de prototypage en détectant au plus tôt les défauts de conception. Ces outils peuvent simuler différentes morphologies d’humains et dresser rapidement une analyse complète et quantitative du risque. Cependant\, un outil de simulation doit être suffisamment réaliste dans la modélisation des phénomènes physiques pour que les résultats soient interprétables. De plus\, les postures et les mouvements générés doivent être adaptés à l’activité mais aussi à la morphologie de l’humain. Enfin\, un tel outil doit être accessible à des utilisateurs non-spécialistes\, avec un temps nécessaire minimal pour sa prise en main. Une approche émergente en ergonomie et utilisée dans ces travaux consiste à simuler l’humain dans une simulation physique à l’aide d’un contrôleur corps-complet issu de la robotique humanoïde. Cette approche permet de générer en temps interactif des mouvements et des efforts dynamiquement cohérents. De plus\, l’approche est générique et peut être appliquée à différentes morphologies d’humains et à différents scénarios de postes de travail. Dans une première contribution\, le problème de la mise en posture d’un humain virtuel physique est étudié. En effet\, la simulation utilisée impose des contraintes liées à la physique\, qui rendent plus difficile la mise en posture de l’humain virtuel. Pour répondre à cela\, nous développons une interface en réalité virtuelle\, avec l’utilisateur en immersion dans le poste de travail virtuel. Cette approche permet à l’utilisateur d’interagir de manière plus naturelle avec des humains virtuels de morphologies différentes et de visualiser plus facilement les postures et les efforts internes en jeu. Dans une deuxième contribution\, le problème de la génération de comportements spécifiques à la morphologie pour une large population d’humains est étudié. Nous proposons une approche utilisant un algorithme multitâches et boîte noire basé sur l’optimisation qualité-diversité\, pour optimiser efficacement le paramétrage des contrôleurs corps-complet pour l’ensemble des individus. Sur un scénario de vissage\, notre approche permet de générer des comportements uniques pour chaque morphologie et optimisés en termes de performance et d’ergonomie. En outre\, cette approche produit une carte d’adéquation qui permet de voir directement si un poste de travail est adapté ou non à la population ciblée.\nLes approches introduites ouvrent de nouvelles pistes à explorer\, notamment pour optimiser directement les postes de travail par rapport à la morphologie de l’humain ou pour prendre en compte la diversité de stratégies comportementales pour chaque morphologie. \nJury\n\nPhilippe SOUÈRES (CNRS)\nXuguang WANG (Université Gustave Eiffel)\nChristine CHEVALLEREAU (CNRS)\n\nEncadrants de thèse\n\n\nFrancis COLAS (INRIA)\n\n\nPauline MAURICE (CNRS)\n\n\nVIncent WEISTROFFER (CEA-LIST)
URL:https://www.loria.fr/event/soutenance-de-jacques-zhong-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20240701
DTEND;VALUE=DATE:20240707
DTSTAMP:20260608T114949
CREATED:20240422T084046Z
LAST-MODIFIED:20240422T084046Z
UID:26050-1719792000-1720310399@www.loria.fr
SUMMARY:IJCAR 2024 : International Joint Conference on Automated Reasoning
DESCRIPTION:IJCAR 2024 will be organized in Nancy\, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6\, 2024. \nImportant Dates \n\nAbstract submission: January 29\, 2024\nPaper submission: February 5\, 2024 (AoE)\nRebuttal: March 10-12\, 2024\nNotification: March 28\, 2024\nCamera-ready version: April 28\, 2024\nCo-located events: July 1-2\, 2024\nConference\, including CASC: July 3-6\, 2024\n\n  \nThe CADE ATP System Competition CASC and the Termination Competition will take place during IJCAR. This year we are planning a special session to celebrate 30 years of CASC. \nThe 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. \n\nEvent website
URL:https://www.loria.fr/event/ijcar-2024-international-joint-conference-on-automated-reasoning/
LOCATION:IDMC\, 13 Rue Michel Ney\, Nancy\, France
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR