Schedule
10:00 – 11:30
Session 1
Opening
Opening
Quantum Algorithm Design Automation: Introduction and Overviewe
Quantum Algorithm Design Automation: Introduction and Overviewe
Dr. Aritra Sarkar
Dr. Aritra Sarkar
Quantum Machine Learning group, QuTech - Delft University of Technology
Invited talk 1
Invited talk 1
[virtual]
Evolutionary techniques for quantum algorithms
Evolutionary techniques for quantum algorithms
Dr. Lee Spector
Dr. Lee Spector
Invited talk 2
Invited talk 2
A suite of design automation tools for quantum computing
A suite of design automation tools for quantum computing
Dr. Robert Wille
Dr. Robert Wille
13:00 – 14:30
Session 2
Invited talk 3
Invited talk 3
[virtual]
Automated Synthesis for Quantum Circuits using Inductive Reasoning and Symbolic Deduction
Automated Synthesis for Quantum Circuits using Inductive Reasoning and Symbolic Deduction
Dr. Sumit K. Jha
Dr. Sumit K. Jha
Invited talk 4
Invited talk 4
[virtual]
Neuro-symbolic approaches for quantum concept discovery
Neuro-symbolic approaches for quantum concept discovery
Dr. Mario Krenn
Dr. Mario Krenn
Artificial Scientist Lab, Max Planck Institute for the Science of Light
Invited talk 5
Invited talk 5
[cancelled]
15:00 – 16.30
Session 3
Invited talk 6
Invited talk 6
Automatic conversion of high-level functional models into optimized quantum circuits
Automatic conversion of high-level functional models into optimized quantum circuits
Dr. Erik Garcell
Dr. Erik Garcell
Invited talk 7
Invited talk 7
Quantum games as interactive tools for developing quantum intuition
Quantum games as interactive tools for developing quantum intuition
Zeki Can Seskir
Zeki Can Seskir
Karlsruhe Institute of Technology - Institute for Technology Assessment and Systems Analysis
Open Discussion
Open Discussion
Q&A to all speakers; interaction among researchers; R&D roadmap for QADA
Q&A to all speakers; interaction among researchers; R&D roadmap for QADA