Laws of quantum programming. ~ Mingsheng Ying, Li Zhou, Gilles Barthe. https://arxiv.org/abs/2412.19463 #ITP #Coq #Rocq #QuantumProgramming

We wish our guests a continued valuable exchange and for their further research many groundbreaking insights in the field of quantum computing.

#QuantumComputing
#QuantumCompilation
#QuantumProgramming
#QuantumTechnologies
#QuantumPhysics

💡 https://quantum-compilers.github.io/iwqc2024/

Today is the day: it's time for the “Thinq Qrisp Community Kick-off”. 🚀

The event is aimed at developers, researchers and experts from industry and science who want to actively participate in the further development and application of quantum computing technologies. We are happy and proud to host the event and to be part of such a great initiative.

➡️ https://www.fokus.fraunhofer.de/en/event/fokus/sqc/qrisp_24-07

#QuantumComputing
#quantumcompilation
#quantumprogramming
#quantumtechnologies

Do not hesitate to contact us if you have any questions! We look forward to a smart audience for the training and an exciting online course.

#ProfessionalTraining
#QuantumComputing
#QuantumAlgorithms
#QuantumPhysics
#QuantumProgramming
#FOKUSakademie

The Thinq Qrisp Community - Benefits for You:

✔️ Innovation Space: Develop new ideas and technologies for #QuantumProgramming.
✔️ Rapid Integration: New technologies are quickly incorporated into the open-source Qrisp project.
✔️ Central Hub: Connect with leading minds in #QuantumSoftware development.
Professionals from industry and academia are already working on quantum computer programming and sharing knowledge within the community.

Join us and become a part of the #ThinqQrispCommunity!

The fourth workshop at #prog24 is QP, the #QuantumProgramming workshop. Submit until January 22, 2024.

QP 2024 will provide a platform for researchers and practitioners interested in the Art, Science, and Engineering of Quantum Programming and its relation with classical programming to discuss research challenges, possible solutions, and future research directions. Such discussion could build the road map for quantum programming.

https://2024.programming-conference.org/home/qp-2024

🚀 #Qrisp 0.3 - Elevate Your #QuantumProgramming Experience!

We are thrilled to unveil the latest update to Qrisp, our cutting-edge quantum programming language. Qrisp 0.3 is here, packed with exciting features designed to supercharge your quantum programming tasks: ➡️ https://www.qrisp.eu/general/changelog/0.3.html

#Qrisp #QuantumProgramming #QuantumComputing #Optimization #Industry #Innovation #Qrisp03 #Technology #Futurism