Quantum computing is the design of hardware and software that replaces Boolean logic by quantum laws. Quantum devices are still under development as are quantum languages, whose incremental evolution follows the progress in the construction of the hardware on which they are supposed to be implemented.
Starting with D-Wave Systems, the first quantum computing company founded in 1999, a number of companies, such as IBM, Google, Microsoft, Rigetti, Zapata and Xanadu are striving to build scalable, fault-tolerant quantum computers and design software architectures for programming quantum algorithms on them.
The common endeavour is to demonstrate quantum systems’ capabilities that are beyond today’s classical systems.

Summer School on Quantum Programming Languages Design and Implementation is aimed at giving the students an as thorough as possible view of the state-of-the-art research on Quantum Programming Languages at the different levels of programming: from assembly languages to higher level and universal languages that can run on all quantum devices.
Both theoretical and implementation aspects will be addressed; in particular, we will offer laboratory sessions in which the students will be able to experience quantum programming and implement quantum algorithms using Qiskit library (