Видео ютуба по тегу Planqc

[POPL'26] Salle 14 - PlanQC (Jan 12th)
[POPL'26] Salle 14 - PlanQC (Jan 12th)
The Quantum Future: How planqc Technology Will Change the World . #victorywithash #nunosantos
The Quantum Future: How planqc Technology Will Change the World . #victorywithash #nunosantos
The Economics of Quantum Innovation
The Economics of Quantum Innovation
Robin Wittland & Andy Brack - Cracking the enterprise code. Why Quantum start-ups must act now!
Robin Wittland & Andy Brack - Cracking the enterprise code. Why Quantum start-ups must act now!
[PLanQC'25] Unlocking quantum potential with software and compilers
[PLanQC'25] Unlocking quantum potential with software and compilers
[PLanQC'25] Concurrent Quantum Separation Logic for Fine-Grained Parallelism
[PLanQC'25] Concurrent Quantum Separation Logic for Fine-Grained Parallelism
[PLanQC'25] Verifying the Equivalence of Parameterized Quantum Circuits
[PLanQC'25] Verifying the Equivalence of Parameterized Quantum Circuits
[PLanQC'25] Proto-Quipper with Reversing and Control
[PLanQC'25] Proto-Quipper with Reversing and Control
[PLanQC'25] Imperative Quantum Programming with Ownership and Borrowing in Guppy
[PLanQC'25] Imperative Quantum Programming with Ownership and Borrowing in Guppy
[PLanQC'25] Programming with Projective Cliffords
[PLanQC'25] Programming with Projective Cliffords
[PLanQC'25] Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs(…)
[PLanQC'25] Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs(…)
[PLanQC'25] HUGR: A Quantum-Classical Intermediate Representation
[PLanQC'25] HUGR: A Quantum-Classical Intermediate Representation
[PLanQC'25] The Quantum Abstract Machine
[PLanQC'25] The Quantum Abstract Machine
[PLanQC'25] An Automata-based Framework for Quantum Circuit Verification
[PLanQC'25] An Automata-based Framework for Quantum Circuit Verification
[PLanQC'25] Algebraic and denotational semantics for Classically Controlled Quantum Communication
[PLanQC'25] Algebraic and denotational semantics for Classically Controlled Quantum Communication
[PLanQC'25] Towards Quantum Multiparty Session Types
[PLanQC'25] Towards Quantum Multiparty Session Types
Quantencomputing made in Europe – planqc-Gründer Alexander Glätzle über den 50-Millionen-Deal
Quantencomputing made in Europe – planqc-Gründer Alexander Glätzle über den 50-Millionen-Deal
[POPL'25] KeepAway- PlanQC (25th Jan)
[POPL'25] KeepAway- PlanQC (25th Jan)
Bridging the Gap from Innovation to Business (Glätzle, Kranzlmüller, Achleitner) | DLD25
Bridging the Gap from Innovation to Business (Glätzle, Kranzlmüller, Achleitner) | DLD25
Munich Quantum Software Forum 2024: Talk by Adrian Vetter (planqc)
Munich Quantum Software Forum 2024: Talk by Adrian Vetter (planqc)
[PLanQC'24] Introducing BRAT
[PLanQC'24] Introducing BRAT
[PLanQC'24] Quantum and Classical Control (work-in-progress)
[PLanQC'24] Quantum and Classical Control (work-in-progress)
[PLanQC'24] QbC: Quantum Correctness by Construction
[PLanQC'24] QbC: Quantum Correctness by Construction
[PLanQC'24] Graphical Primitive Recursion For String Diagrams
[PLanQC'24] Graphical Primitive Recursion For String Diagrams
[PLanQC'24] Quantum Controlled Measurements via Program Transformation
[PLanQC'24] Quantum Controlled Measurements via Program Transformation