2023 summer school on informatics

3 Jul 2023, 09:00 → 7 Jul 2023, 17:00 UTC

Scientific context

If it were to happen in its most promising form, the quantum computer would constitute a major breakthrough for many of the algorithms used within the industry. This concerns algorithms as varied as the resolution of partial differential equations, the simulation of molecules, combinatorial optimization, machine learning or financial mathematics.

The development of quantum algorithms follows drastically different rules and logic than those used in the development of classical algorithms.

Moreover, the maturity of the technology means that questions that a classical algorithmicist has stopped asking are once again relevant in the quantum world. Error correction, circuit representation formalism, data encoding or circuit compilation are all questions that are still open and that need to be adapted to the case under study. In the absence of machines, a deep theoretical work is carried out by the scientific community to address not only these questions, but also questions in quantum algorithms, quantum complexity classes, quantum information theory and quantum formal methods.

Contents

During this summer school, we will go beyond the first introductions to quantum computation and we will discuss notions such as error correction, the latest advances in quantum algorithms as well as the representation formalism of quantum circuits. In particular, we will present

• A general introduction to quantum computing
• Advances in optimization and combinatorial search
• An overview of the technologies
• Quantum formal methods
• The ZX Calculus
• Quantum walks and their use in the numerical solution of partial differential equations
• Error correction and quantum volume concepts
• Code compilation & languages
• Quantum Learning Theory
• Practiccal works and implementation and use on simple cases

More info/ register: https://ecoles-cea-edf-inria.fr/en/schools/ecole-informatique-2023/