Workshop Details
SAMPLE - DIMACS Workshop on Quantum Software Systems and Theory
- Start Date: May 17, 2025
- Event Start Time: 8:00 AM
- Event End Time: 6:00 PM
- Location:
DIMACS Center | Rutgers University | CoRE Building
96 Frelinghuysen Road
Piscataway, NJ 08854 -
Friday, May 16, 2025
Workshop Talks
8:00 AM – 8:25 AMBreakfast
8:25 AM – 8:30 AMWelcome and Opening Remarks
8:30 AM – 9:30 AMQuantum Recursive Programming
Mingsheng Ying, University of Technology, Sydney
In this talk, we will introduce a new scheme of quantum recursive programing with quantum if-statement.
9:30 AM – 9:45 AMBreak (15 minutes)
9:45 AM – 10:05 AMFoundational Abstractions for Quantum Programming
Charles Yuan, Massachusetts Institute of Technology
Bringing the promise of quantum computation into reality requires not only building a quantum computer
10:05 AM – 10:25 AMQuantum Virtual Machines
Runzhou Tao, University of Maryland
Cloud computing services offer time on quantum computers, but users are forced to each use the entire quantum computer to run their programs as there is
10:25 AM – 10:45 AMVerifying Quantum Graphical Calculi
Robert Rand, University of Chicago
We seek to verify the ZX-calculus, a powerful tool for representing and reasoning about quantum computation. ZX-diagrams are Verified Quantum Computing.
Saturday, May 17, 2025
Workshop Talks
8:00 AM – 9:00 AMBreakfast
9:00 AM – 10:00 AMThis is another talk
mary jones
asd asdf asdf asdf asdf asdf asdf asdf asdf asdf asdf asdf
10:00 AM – 11:00 AM
-
This workshop is by invitation only.
Parking: If you do not have a Rutgers parking permit and you plan to drive to the workshop, there will be free parking in Lot 64, which is adjacent to the CoRE Building, but you must register your car to park.