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
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
X-LIC-LOCATION:Europe/Copenhagen
BEGIN:DAYLIGHT
DTSTAMP:20260619T191101Z
DTSTART:20261028T030000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
UID:7fdd16e6-f111-4233-8f6e-7d1b86b8ba02
END:DAYLIGHT
BEGIN:STANDARD
DTSTAMP:20260619T191101Z
DTSTART:20260325T020000
SEQUENCE:0
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
UID:a96fbf9a-643e-4d90-a73b-7a6ad3ed5d64
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:[b]Speaker: Mingsheng Ying [/b](University of Technology Sydne
 y) [nl]\n[nl]\nThe masterclass takes students on a step-by-step journey f
 rom classical to quantum verification:[nl]\n[list]\n[*]Starts with classi
 cal model checking - the methods used to automatically verify complex com
 putational systems[nl\n[*]Moves into quantum computing fundamentals - int
 roducing core concepts like superposition and quantum dynamics[nl]\n[*]In
 troduces quantum Markov models - mathematical frameworks to describe prob
 abilistic quantum systems[nl]\n[*]Culminates in algorithms for verifying 
 quantum systems - especially [i]quantum Markov chains[/i]\, where uncerta
 inty and probability behave in fundamentally new way[nl]\n[/list]\nWhy at
 tend?[nl]\n[list]\n[*]Gain exposure to frontline research[nl] \n[*]Meet a
 nd interact with leading international scholars[nl]\n[*]Strengthen your a
 cademic and professional network[nl]\n[*]Get inspiration for your own stu
 dies and future career paths[nl]\n[*][nl]\n[/list]
DTEND:20260807T130000Z
DTSTAMP:20260619T191101Z
DTSTART:20260803T070000Z
LOCATION:Syddansk Universitet\, Campusvej 55\, 5230\, Odense M
SEQUENCE:0
SUMMARY:QM Masterclass: Model Checking Quantum Systems - An Introduction
UID:f5b58223-554e-417b-9230-9b91666307e5
END:VEVENT
END:VCALENDAR