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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261110T093000
DTEND;TZID=Europe/Paris:20261110T133000
DTSTAMP:20260903T144806Z
CREATED:20260903T142949Z
LAST-MODIFIED:20260903T144806Z
UID:29800-1794303000-1794317400@www.loria.fr
SUMMARY:Soutenance de thèse : Vincent Trelat (équipe Veridis)
DESCRIPTION:Vincent Trelat\, doctorant dans l’équipe Veridis\, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria\, avec un exposé intitulé  \n« Trustworthy Reasonig for the B method« .\n\n\nComposition du jury : \n\n\nStephan Merz\, directeur de recherches Inria au Loria (encadrant)\nSophie Tourret\, chargée de recherches Inria au Loria (encadrante)\nJean-Christophe Filliâtre\, LMF (rapporteur)\nMichael Leuschel\, Université de Düsseldorf (rapporteur)\nLaura Kovács\, TU Wien (examinatrice)\nXavier Goaoc\, UL (examinateur)
URL:https://www.loria.fr/event/soutenance-de-these-vincent-trelat-equipe-veridis/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR