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:Events for 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:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211123T100000
DTEND;TZID=Europe/Paris:20211123T120000
DTSTAMP:20211122T133128Z
CREATED:20211122T133020Z
LAST-MODIFIED:20211122T133128Z
UID:14243-1637661600-1637668800@www.loria.fr
SUMMARY:Soutenance de thèse : Titouan Carette
DESCRIPTION:Titouan Carette soutiendra sa thèse intitulée “Manier le ZX-calcul” le 23 Novembre à 10h en salle A008. \nRésumé  \nCette thèse concerne l’application de langages graphiques à l’informatique quantique. Par langages graphiques on entend l’usage de diagrammes\, très similaires aux circuits\, représentant des évolutions de systèmes quantiques. La thèse introduit ces langages dans le formalisme de la théorie des catégories et s’intéresse en particulier à un langage: le ZX-calcul\, ainsi qu’à ses proches parents le ZW-calcul et le ZH-calcul. La notion de flexsymétrie est introduite\, décrivant des diagrammes dont les entrés et sorties sont toutes interchangeables entre elles. La notion est ensuite utilisée pour classifier tous les langages similaires au ZX-calcul. Il est montré que les seuls langages admissibles sont le ZX-calcul\, le ZW-calcul et le ZH-calcul. Ensuite est abordée la question de l’extension de ces langages au cas de systèmes mixtes classiques-quantiques. Une construction catégorique générale est proposée et est utilisée pour étendre les différents langages. Enfin la thèse introduit des notations permettant de représenter de manière compacte des algorithmes quantiques mettant en jeux des diagrammes arbitrairement grands. Afin d’en éprouver l’efficacité\, ces notations sont utilisées pour montrer graphiquement la correction de différents algorithmes quantiques.
URL:https://www.loria.fr/event/soutenance-de-these-titouan-carette/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR