BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ondřej Lengál (Brno University of Technology)
DTSTART:20260520T130000Z
DTEND:20260520T140000Z
DTSTAMP:20260423T021128Z
UID:FLAT/21
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/FLAT/21/">Au
 tomata-based verification of quantum circuits</a>\nby Ondřej Lengál (Brn
 o University of Technology) as part of One FLAT World Seminar\n\nInteracti
 ve livestream: https://fc-up-pt.zoom.us/j/85946529834\nPassword hint: Subs
 cribe to the mailing list to receive the password\n\nAbstract\nDevelopment
  of quantum programs is hard due to their intricate structure and inherent
 ly probabilistic nature. Computer-aided tool support is therefore essentia
 l. Computer-based reasoning over quantum programs is\, however\, also chal
 lenging due to the exponential size of the program's state. In this talk\,
  I will present a recent framework for automated formal verification of qu
 antum programs that uses automata to represent complex sets of quantum sta
 tes compactly.\n
LOCATION:https://researchseminars.org/talk/FLAT/21/
URL:https://fc-up-pt.zoom.us/j/85946529834
END:VEVENT
END:VCALENDAR