[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
QLDI Summer School in Verona (Italy) - Call for Applications
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.
The Summer School on Quantum Programming Languages Design and Implementation
<http://profs.scienze.univr.it/~dipierro/SQLDI-19/resources/Flyer_QLDI.pdf> 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 (https://qiskit.org<https://qiskit.org/>).
The deadline for application is September 1, 2019.
Information at the school website:
http://profs.scienze.univr.it/~dipierro/SQLDI-19/
Please be advised that Verona is a busy city and it might be difficult to find
an accommodation if not booked well in advance.
