quantum programming languages
Submitted by
JMiszczak on Thu, 04/01/2024 - 12:30.
Dates:
Monday, March 11, 2024 to Thursday, March 14, 2024
The Second International Workshop on the Art, Science, and Engineering of Quantum Programming (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.
The workshop is intended for researchers, including students, at any stage of their careers. Moreover, practitioners are also a relevant audience for the workshop.
Submission page: https://easychair.org/conferences/?conf=qp2024
Submission deadline: 22 January 2024.
QP2024 will feature two types of events. First, we will have a session on presenting papers accepted in the workshop. The rest of the workshop will be focused on a dedicated discussion of the workshop topics in a similar fashion as Dagstuhl or Shonan to draft a roadmap on the topic of the workshop. The workshop organizers will send invitations to the researchers working in this area. However, the workshop is open to anyone who is interested. Please consult the workshop chairs if you are interested in joining the workshop.
The workshop is organized as a part of The International Conference on the Art, Science, and Engineering of Programming (Programming› 2024)
Submitted by
JMiszczak on Mon, 29/06/2020 - 12:21.
We offer a 2-years post-doctoral position in the area of quantum computing, quantum programming, and the analysis of quantum algorithms at the Quantum Systems of Informatics Group at the Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice, Poland. The position is founded within the scope of Polish National Science Centre project Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs.
Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
CAPP is a team of the LIG (Laboratoire d'Informatique de Grenoble) devoted to theoretical computer science.
The CAPP group is a place where both classical and non-quantum computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.
Laboratory of Quantum Information Processing and Cryptography was founded in Autumn of 2004. Research in Laboratory is aimed especially on information aspects of quantum information processing, in particular quantum cryptography, information theory, quantum communication and algorithms. Theoretical aspects of classical cryptography, especially problems solvable with security that can be proved with help of information theory, are studied as well.
Pages
