Silver: verification of silq programs using smt solvers (silver.pdf) | 195KiB |
Vyzx: a vision for verifying the zx calculus (vyzx.pdf) | 102KiB |
Verification of quantum systems using barrier certificates: first steps (barrier.pdf) | 249KiB |
Transformations for accelerator-based quantum circuit simulation in haskell (accelerator.pdf) | 810KiB |
Formalizing quantum circuits with mathcomp/ssreflect (formalizing.pdf) | 194KiB |
The zeta-calculus (zeta.pdf) | 238KiB |
Beyond separation: toward a specification language for modular reasoning about quantum programs (beyond.pdf) | 326KiB |
The generate-test-sketch quantum algorithmic paradigm (gtr.pdf) | 136KiB |
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
11:00 - 12:30 | |||
11:00 25mTalk | Topological Quantum Programming in TED-KVirtual PLanQC File Attached | ||
11:25 25mTalk | Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers PLanQC Raphael Seidel Fraunhofer Institute for Open Communication Systems, Sebastian Bock Fraunhofer Institute for Open Communication Systems, Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin File Attached | ||
11:50 40mTalk | Poster session PLanQC File Attached |