[planqc'26] Opening Address
Synopsis
Opening Address (Video, PLanQC 2026) Vladimir Zamdzhiev (Inria) Presentation at the PLanQC 2026 workshop, Jan 12, 2026, ...
You Might Also Like
![[PLanQC'26] Opening Address](https://i.ytimg.com/vi/rycdmlmjKNw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3LEBMzSE9jBaYEt0iJCXDU0wA9g)
![[PLanQC'26] Democratizing quantum formal verification: the path-sum way](https://i.ytimg.com/vi/EUfmXQKUEUg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDqo5n7o-LIpxymlVKdPz7E0QKBjg)
![[PLanQC'26] A Graded Modal Type Theory for Pulse Schedules](https://i.ytimg.com/vi/P0UVo0axSVk/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBN7rey2LooDvBHA-ou7LxiP5IwyQ)
![[PLanQC'26] Towards a Hierarchical Quantum Circuit Language](https://i.ytimg.com/vi/ZTgbHmMRikE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBpRcufbWE92XKTL-8Dns8byYd2QA)
![[PLanQC'26] A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and Emulation](https://i.ytimg.com/vi/cvBuCfG-rRo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyzBoTjhu2m2sJ4a2IT_GEZ63vhA)
![[PLanQC'26] Programming Abstractions for Quantum Linear Algebra](https://i.ytimg.com/vi/XTn_MzQXZwg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCZ4XMManW-AClJDGq8M6wkSm8CJg)
![[PLanQC'26] Denotational semantics for stabiliser quantum programs](https://i.ytimg.com/vi/wkL89W6Fogc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB2Povbs5sBwj64vQP-_37EjrbuDg)
![[PLanQC'26] A Unified Assertion-Based Framework for Classical-Quantum Program Verification](https://i.ytimg.com/vi/MlfElLSb7ko/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCYgsVJwDC6mwfLLve4gPMSAEe9HA)
![[PLanQC'26] One rig to control them all](https://i.ytimg.com/vi/6rZ8BMtclIU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD_Z7Rp_OpDV1FEJKEv3YdK5fwiGw)
![[PLanQC'26] Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach](https://i.ytimg.com/vi/j1PZYpQGhBE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD4kWIkK0OCILgCXFB_rl8cL5zzNA)
![[POPL'26] Salle 14 - PlanQC (Jan 12th)](https://i.ytimg.com/vi/KWZm5wGDqtg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBVqxHaMbTpCz2ZNEnjxEdMi4xdwA)
![[PLanQC'26] Traq: Estimating the Quantum Cost of Classical Programs](https://i.ytimg.com/vi/QNgv8h5_Whs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBBqZWvIlWWjtrqGVhdVHUlTD02MQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.