Workshop on Quantum Software 2026
Submissions close Sep 8, 2026.
- Submissions close
- Sep 8, 2026
- Event dates
- Dec 12, 2026
- Location
- Stellenbosh, South Africa, December 12, 2026
- Listed on
- EasyChair
Topics named in the call
- programming language design
- compilers
- formal methods
- program analysis and verification
This call has closed. The calls below are still open.
This call was listed on EasyChair, and applications go there, not to us. We hold no event page for this conference, so everything above is what the listing itself stated, as of Aug 11, 2026. Confirm the deadline on the call before you write a submission.
Other open calls on similar topics
- 29th Brazilian Symposium on Formal MethodsCloses Aug 14, 2026, via EasyChair
- Open Compute Architecture and Software Infrastructure for Heterogeneous AI SystemsCloses Aug 31, 2026, via EasyChair
- International Conference on Foundations and Formal Methods for Software and SystemsCloses Oct 15, 2026, via EasyChair