BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//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:20250602T150000
DTEND;TZID=Europe/Paris:20250602T170000
DTSTAMP:20250522T161601Z
CREATED:20250522T144759Z
LAST-MODIFIED:20250522T161601Z
UID:28229-1748876400-1748883600@www.loria.fr
SUMMARY:Soutenance de thèse : Vivien Vandaele (MOCQUA)
DESCRIPTION:Vivien Vandaele\, doctorant dans l’équipe MOCQUA\, soutiendra sa thèse intitulée « Optimisation du calcul quantique tolérant aux fautes par le ZX-calculus«  le 2 juin\, à 15h\, en salle A008. \nRésumé\nLe calcul quantique tolérant aux fautes nécessite des techniques de compilation efficaces pour traduire les algorithmes quantiques de haut niveau en opérations exécutables sur le matériel. Cette thèse présente plusieurs contributions au développement d’une pile de compilation pour le calcul quantique tolérant aux fautes.\nAu niveau de la synthèse de circuits quantiques\, nous introduisons de nouvelles constructions pour des opérateurs arithmétiques\, notamment le premier additionneur exact sans qubit auxiliaire avec une profondeur sous-linéaire\, ainsi qu’un multiplicateur pour les corps binaires offrant un faible coût espace-temps.\nPour l’optimisation de circuits quantiques\, nous présentons des algorithmes pour minimiser le nombre de portes de Hadamard et de rotation dans les circuits\, en prouvant leur optimalité dans certains cas. Nous proposons également des algorithmes efficaces pour réduire le nombre de portes T \, une ressource critique pour le calcul quantique tolérant aux fautes. Nos méthodes permettent d’obtenir le plus petit nombre de portes T pour la plupart des circuits évalués\, tout en offrant une mise à l’échelle nettement meilleure que celle des approches précédentes. \nEnfin\, en utilisant le ZX-calcul\, nous établissons des liens entre des problèmes d’optimisation de ressources et des problèmes bien étudiés en théorie des graphes. Cela nous permet de développer de nouvelles techniques d’optimisation pour minimiser le nombre de qubits dans les modèles de calcul tolérants aux fautes\, tels que la chirurgie de codes. \nEncadrants\n\nSimon Perdrix\, Inria\, Loria\nChristophe Vuillot\, Alice & Bob\, Inria\, LORIA\n\nJury\nPrésident \n\nPierrick Gaudry\, CNRS\, LORIA\n\nRapporteurs \n\nDan Browne\, University College London\nPeter Selinger\, Dalhousie University\n\nExaminateurs \n\nMatthew Amy\, Simon Fraser University\nStacey Jeffery\, CWI\, QuSoft\, University of Amsterdam\nElham Kashefi\, CNRS\, LIP6\, University of Edinburgh\n\nInvités \n\nSimon Martiel\, IBM Quantum\, IBM France Lab\nMaxime Remaud\, Eviden Quantum Lab
URL:https://www.loria.fr/event/soutenance-de-these-vivien-vandaele-mocqua/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250623T140000
DTEND;TZID=Europe/Paris:20250623T170000
DTSTAMP:20250619T133634Z
CREATED:20250618T102224Z
LAST-MODIFIED:20250619T133634Z
UID:28255-1750687200-1750698000@www.loria.fr
SUMMARY:PhD Defense: Siyana Pavlova (Sémagramme)
DESCRIPTION:Siyana Pavlova\, PhD student in the Sémagramme team\, will defend her thesis on Monday\, 23rd June at 1.30pm in room A008. \nHer thesis is entitled « Toward Scalable Semantic Annotation: Bridging Readability and a Wide Range of Phenomena into a Layered Meaning Representation ». \nJury \nReviewers\n– Nicholas Asher\, IRIT\, CNRS\, Toulouse\, France\n– Marie Candito\, Université Paris Cité & LLF\, Paris\, France \nExaminers\n– Claire Gardent\, CNRS\, LORIA\, Nancy\, France\n– Lucia Donatelli\, Vrije Universiteit Amsterdam\, Amsterdam\, The Netherlands\n– Anette Frank\, Heidelberg University\, Heidelberg\, Germany \nSupervisors\n– Maxime Amblard\, LORIA\, Université de Lorraine\, Nancy\, France\n– Bruno Guillaume\, LORIA\, Inria – Grand Est\, Nancy\, France \nAbstract \nThis work is situated in the area of semantic modeling\, which aims to represent the meaning of natural language in a machine-processable form. Various formalisms exist in this direction. Logic-based ones offer more expressivity\, but are more complex to annotate and analyse by humans. The ones aimed at large-scale annotation are more abstract\, but at the cost of expressivity. To address the question of what should be included in the design of meaning representations\, we carry out a survey on existing formalisms across various semantic phenomena and semantically-oriented considerations. With these in mind\, we join the trend for reconciling the logic-based view on semantics with the readability offered by more abstract representations by proposing a new formalism\, which uses a layered approach to represent various phenomena. Finally\, to address the relative lack of parallel data in the field\, we explore rule-based graph transformation methods between formalisms.
URL:https://www.loria.fr/event/phd-defense-siyana-pavlova-semagramme/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250624T140000
DTEND;TZID=Europe/Paris:20250624T170000
DTSTAMP:20250620T092910Z
CREATED:20250620T092910Z
LAST-MODIFIED:20250620T092910Z
UID:28262-1750773600-1750784400@www.loria.fr
SUMMARY:PhD Defense: Radhouane Jilani (Tangram)
DESCRIPTION:Radhouane Jilani\, PhD student in the Tangram team\, will defend his thesis on Tuesday\, 24 June at 2pm in room C005. \nHis presentation (in French) is entitled « Simulation de la navigation intravasculaire de cathéter par la théorie des poutres de Cosserat ». \nJury : \nRapporteurs : \nVincent Lebastard\, Maître de conférences\, IMT Atlantique \nKanty Rabenorosoa\, Professeur\, Université de Franche-Comté \nExaminateurs : \nSylvain Contassot-Vivier\, Professeur\, Université de Lorraine \nJérémie Dequidt\, Professeur\, Université de Lille \nMaud Marchal\, Professeur\, INSA Rennes \nInvité : \nStéphane Cotin\, Directeur de recherche\, Inria \nEncadrants : \nErwan Kerrien\, Chargé de recherche\, Inria \nPierre-Frédéric Villard\, Maître de conférences\, Université de Lorraine \n  \nRésumé : \nLe traitement de l’accident vasculaire cérébral ischémique requiert une intervention complexe consistant à guider un cathéter\, un instrument long et flexible\, au sein du réseau vasculaire cérébral. L’objectif de cette thèse est la conception d’une simulation numérique de cette procédure qui soit à la fois robuste et rapide\, afin de servir d’outil d’aide à la formation des praticiens et à la planification des interventions. \nL’instrument est modélisé par la théorie des poutres de Cosserat\, reconnue pour sa fidélité physique. La résolution des équations issues de cette formulation soulève cependant d’importantes difficultés numériques. Des solveurs efficaces comme la méthode de tir présentent une instabilité et ne convergent pas pour les cathéters souples. D’autres approches\, basées sur une formulation lagrangienne\, bien que plus robustes\, génèrent des systèmes numériquement raides dont la résolution explicite imposerait des pas de temps excessivement petits. \nCette thèse propose deux apports principaux. Le premier est une simulation dynamique reposant sur une méthode de collocation\, qui assure la convergence là où les techniques standards échouent. Le second apport\, visant une accélération du calcul\, est un modèle quasi statique. Cette simplification est justifiée par le fait que l’instrument est fortement contraint par la géométrie vasculaire. Ce modèle repose sur la représentation des parois des vaisseaux par des fonctions implicites. Cette approche permet d’employer un intégrateur implicite et de dériver analytiquement la jacobienne du système. La raideur numérique\, qui constitue le principal obstacle à l’efficacité du calcul\, est ainsi atténuée.
URL:https://www.loria.fr/event/phd-defense-radhouane-jilani-tangram/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR