ASQ3: Algorithms and Software Quests in Quantum Qomputing

THE CONFERENCE IS MAINTAINED FOR THE 3 DAYS AND ACCESSIBLE VIA ZOOM (LINK BELOW) FOR THOSE WHO CANNOT MAKE IT IN PERSON
Practical details
- September 10-12, 2025
- Room 25-26.105, 4 place Jussieu, 75005 Paris
- Registration form
- Zoom
- link: https://cnrs.zoom.us/j/94083564811?pwd=XWDjhx9FhCb9C5ceS3ybhWrziXL24F.1
- Meeting ID: 940 8356 4811
- Passcode: dNT3wB
- Join instructions
Program
EPIQ Day
Date | Time | Presenter | Topic |
---|
Sept. 10 | 09:00-09:30 | | Registration + Welcome |
| 09:30-10:15 | Yuriel Nunez-Fernandez (Institut Néel, superpostdoc) | Solving the dynamics of quantum impurities with a few-body revealing approach |
| 10:15-11:00 | Alejandro Diaz-Caro (Mocqua/Loria, superpostdoc) | Linear Logic, its Mirror, and Quantum Computing |
| 11:00-11:15 | | Coffee Break |
| 11:15-11:45 | Jean-Philip Piquemal (Sorbonne, Qubit Pharmaceuticals) | TBA |
| 11:45-12:30 | Victor Martinez (ENS Lyon, IBM) | Efficient simulation of noisy quantum circuits |
| 12:30-14:00 | | Lunch (on your own) |
| 14:00-14:30 | Pablo Arrighi (Quacs/LMF) | Quantum cellular automata formulation of QED |
| 14:30-15:00 | Jad Issa (CEA List/Loria) | Statically analysing termination and resources for hybrid quantum programs |
| 15:00-15:30 | Alain Giorgetti (FemtoST) | Computations and formal proofs about quantum contextuality |
| 15:30-16:00 | Benoit Vermersch (Quobly) | Learning mixed quantum states in large-scale experiments |
| 16:30-17:30 | Business Meeting | |
HQI Day
Date | Time | Presenter | Topic |
---|
Sept. 11 | 09:00-09:30 | | Registration + Welcome |
| 09:30-09:50 | C. Allouche (Eviden) | WP1 |
| | A. Gazda (Eviden) | Large scale emulation of quantum computers |
| 09:55-10:15 | C. Chareton (CEA) | WP2 |
| | V. Zamdzhiev (UPSaclay - INRIA) | Qimaera: a domain-specific language for hybrid classical-quantum programming in Idris |
| 10:20-10:40 | A. Grilo (SU - CNRS) | WP3 |
| | A. Braida | Non-convex optimization via adiabatic quantum computing |
| 10:40-11:10 | | Coffee Break |
| 11:10-11:30 | D. Lacroix | WP4 |
| | S. Aychet-Claisse (USaclay - IRFU - DPhN) | Quantum simulations of Green’s functions for small superfluid systems |
| 11:35-11:55 | P. Hilaire (Telecom Paris) | WP5 |
| | id. | |
| 12:00-12:20 | D. Markham (SU - CNRS) | WP6 |
| | C. Gustiani | Verification on real quantum hardware: implementation and emulation |
| 12:20-14:00 | | Lunch(on your own) |
| 14:00-15:00 | H. Ollivier (ENS - CNRS - INRIA) | Interaction with project participants: A roadmap for quantum software? |
| 15:00-16:00 | M. Garnier & T. Martinez (ENS - CNRS - INRIA) | Interaction with project participants: Kick-off Applications and Stack Committees |
| 16:15-17:15 | (WP Leaders only) | Business meeting |
GDRs Day
Date | Time | Presenter | Topic |
---|
Sept. 12 | 09:00-09:30 | | Registration + Welcome |
| 09:30-09:40 | H. Ollivier (ENS - CNRS - INRIA) | Opening address & Hybrid Quantum Computing Initiative |
| 09:40:10:20 | M. Baboulin (UPSaclay - INRIA) | Toward quantum-accelerated high-performance computing |
| 10:25-11:05 | D. Vermetten (SU) | Quantum systems as a black-box to optimize? |
| 11:05-11:20 | | Coffee Break |
| 11:20-12:00 | T. Martinez (ENS - CNRS - INRIA) | Quantum Software Engineering |
| 12:05-12:30 | L. Chiodelli (CNRS) | PEPR Technologies quantiques |
| 12:30-13:30 | | Lunch (on your own) |
| 13:30-14:00 | S. Mehr (Genci) | Les maisons du quantique |
| 14:00-14:30 | F. Givois (Genci) | Introductory Tutorials |
| 14:35-15:15 | A. Soret (Quandela) | Quandela’s QPU and what we can do with them |
| 15:20-15:35 | | Coffee Break |
| 15:35-16:15 | K. Benyo (Pasqal) | TBA |
| 16:15-16:30 | H. Ollivier (ENS - CNRS - INRIA) | Open Discussion |
Organization team
- EPIQ: Simon Perdrix, Damian Markham
- HQI: Harold Ollivier, Damian Markham
- GDR: Elham Kashefi, Harold Ollivier, Damian Markham