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/90f75336-fb43-4a04-ac0d-5e47c52c
 0db6
X-WR-CALNAME:QM Masterclass: Model Checking Quantum Systems - An Introduct
 ion by Mingsheng Ying (University of Technology Sydney)
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
X-LIC-LOCATION:Europe/Copenhagen
BEGIN:DAYLIGHT
DTSTAMP:20260803T234706Z
DTSTART:20261028T030000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
UID:072223bf-ffb3-4003-9ba6-e2fdb81e8daa
END:DAYLIGHT
BEGIN:STANDARD
DTSTAMP:20260803T234706Z
DTSTART:20260325T020000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
UID:6724b60b-097d-4922-a1a9-4299299cb9ab
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:The masterclass takes students on a step-by-step journey from 
 classical to quantum verification:\n[list]\n[*]Starts with classical mode
 l checking - the methods used to automatically verify complex computation
 al systems\n[*]Moves into quantum computing fundamentals - introducing co
 re concepts like superposition and quantum dynamics\n[*]Introduces quantu
 m Markov models - mathematical frameworks to describe probabilistic quant
 um systems\n[*]Culminates in algorithms for verifying quantum systems - e
 specially [i]quantum Markov chains[/i]\, where uncertainty and probabilit
 y behave in fundamentally new way\n[/list]
DTEND:20260807T130000Z
DTSTAMP:20260803T234706Z
DTSTART:20260803T070000Z
LOCATION:Syddansk Universitet\, Campusvej 55\, 5230\, Odense M
SEQUENCE:0
SUMMARY:QM Masterclass: Model Checking Quantum Systems - An Introduction b
 y Mingsheng Ying (University of Technology Sydney)
UID:1b1bf8aa-ab68-4fd5-b91d-cd1081ff15f6
END:VEVENT
END:VCALENDAR