BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
DTSTART:20260308T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261101T010000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260404T171208Z
UID:0E502402-E2A8-48B7-93F6-D6654AC9CF22
DTSTART;TZID=America/New_York:20260404T110000
DTEND;TZID=America/New_York:20260404T130000
DESCRIPTION:Quantum Computers are expensive to build\, take time to run\, a
 nd are prone to noise and faults which reduce qubit reliability. Quantum s
 oftware programmers can benefit from ways to validate whether or not quant
 um programs behave as expected without running or simulating a full progra
 m. This talk will present the Quantum State Preparation Program Validation
  Framework (QSV)\, a framework that uses property-based testing to validat
 e whether or not quantum programs meet user-specified properties.\n\nSpeak
 er(s): Anshu Sharma\, \n\nRoom: 401-F Conference Room\, Bldg: Martin Luthe
 r King Jr. Memorial Library\,  901 G St NW\,  Washington\, DC\, District o
 f Columbia\, United States\, 20001\, Virtual: https://events.vtools.ieee.o
 rg/m/545578
LOCATION:Room: 401-F Conference Room\, Bldg: Martin Luther King Jr. Memoria
 l Library\,  901 G St NW\,  Washington\, DC\, District of Columbia\, Unite
 d States\, 20001\, Virtual: https://events.vtools.ieee.org/m/545578
ORGANIZER:krishna.kandi@ieee.org
SEQUENCE:139
SUMMARY:Validating Quantum State Preparation Programs
URL;VALUE=URI:https://events.vtools.ieee.org/m/545578
X-ALT-DESC:Description: <br /><p>Quantum Computers are expensive to build\,
  take time to run\, and are prone to noise and faults which reduce qubit r
 eliability. Quantum software programmers can benefit from ways to validate
  whether or not quantum programs behave as expected without running or sim
 ulating a full program. This talk will present the Quantum State Preparati
 on Program Validation Framework (QSV)\, a framework that uses property-bas
 ed testing to validate whether or not quantum programs meet user-specified
  properties.</p>
END:VEVENT
END:VCALENDAR