Practical quantum computers will appear in this decade, but their design is already influencing finance, chemistry, and simulations in many other areas. 
In this track, there will be an overview of such applications. In the future, quantum computers will be able to break most of the encryption protocols currently in use. So, for data that needs to remain secret for many years needs new protocols already today. We will learn how to protect ourselves from such quantum adversaries and how the current transition to quantum-safe protocols provides an opportunity to avoid many other vulnerabilities, by using logic and programming languages.