BEGIN:VCALENDAR
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//github.com/rianjs/ical.net//NONSGML ical.net 4.0//EN
VERSION:2.0
X-FROM-URL:https://eom.sdu.dk/events/ical/4d36b6d5-aecd-4301-b37e-cf9e07f3
 5437
X-WR-CALNAME:QM Research Seminar: Universal Properties of Partial Quantum 
 Maps
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
X-LIC-LOCATION:Europe/Copenhagen
BEGIN:DAYLIGHT
DTSTAMP:20260602T163100Z
DTSTART:20261028T030000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
UID:a607ab0f-e9dc-4f48-bf35-48368999f8dd
END:DAYLIGHT
BEGIN:STANDARD
DTSTAMP:20260602T163100Z
DTSTART:20260325T020000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
UID:32fb3dc1-805d-4553-af42-b5df66091a16
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:[b]Speaker: Robin Kaarsgaard Sales[/b] (University of Southern
  Denmark) [nl]\n[b]Abstract:[/b][nl]\nWe provide a universal construction
  of the category of\nfinite-dimensional C*-algebras and completely positi
 ve\ntrace-nonincreasing maps from the rig category of\nfinite-dimensional
  Hilbert spaces and unitaries. This\nconstruction\, which can be applied 
 to any dagger rig category\, is\ndescribed in three steps\, each associat
 ed with their own\nuniversal property\, and draws on results from dilatio
 n theory in\nfinite dimension. In this way\, we explicitly construct the\
 ncategory that captures hybrid quantum/classical computation with\npossib
 le nontermination from the category of its reversible\nfoundations. We di
 scuss how this construction can be used in the\ndesign and semantics of q
 uantum programming languages.\n[nl]\nThis talk is based on joint work wit
 h Pablo Andrés-Martínez \n(Quantinuum) and Chris Heunen (University of Ed
 inburgh).\n[nl]
DTEND:20230419T141500Z
DTSTAMP:20260602T163100Z
DTSTART:20230419T131500Z
LOCATION:Syddansk Universitet\, Campusvej 55\, 5230\, Odense M
SEQUENCE:0
SUMMARY:QM Research Seminar: Universal Properties of Partial Quantum Maps
UID:57af055c-218b-458a-8cf8-861420ee58e3
END:VEVENT
END:VCALENDAR