Two papers, published by the members of our group in International Journal of Theoretical Physics, have been posted to ArXiv preprint archive. Everybody is encouraged to read them at A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures and A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics.
Computer algebra in quantum computing and quantum information theory
Computer algebra in quantum computing and quantum information theory is a special special session at the 21st International Conference on Applications of Computer Algebra 2015 (ACA2015), July 20-23, 2015, Kalamata, Greece.
Aims and scope
Quantum information processing provides a plethora of new problems and research topics suitable for tackling using computer algebra systems. This includes the problems of characterizing multipartite entanglement, generation and optimization of quantum computational circuits and analysis of quantum walks and quantum automata. In the reverse direction, quantum algorithms which outperform their classical counterparts may be of use in symbolic calculations (e.g. Grobner Bases).
The aims of this session are to exchange recent results and ideas concerning the application of numerical, symbolic and algebraic methods in quantum information processing and quantum mechanics. Topics to be considered include (but are not limited to):
- simulation and modeling of quantum computation;
- symbolic and numerical methods applied to solving the Schrödinger equation;
- algebraic and geometric analysis of quantum algorithms and protocols;
- methods for constructing and optimizing quantum computational circuits;
- algebraic methods in quantum cryptography;
- quantifying quantum entanglement;
- quantum walks and their utilization for modeling quantum networks;
- quantum automata and algebraic groups;
- logic and algebraic structures from quantum computation;
- quantum programming languages.
Organizers
Vladimir Gerdt <gerdt[at]jinr.ru>
Laboratory of Information Technologies
Joint Institute for Nuclear Research
Dubna, Russia
Michael Mc Gettrick <michael.mcgettrick[at]nuigalway.ie>
De Brun Centre for Computational Algebra
School of Mathematics
National University of Ireland
Galway, Ireland
Jaroslaw Adam Miszczak <miszczak[at]iitis.pl>
Institute of Theoretical and Applied Informatics, Polish Academy of Sciences
Gliwice, Poland
and
University of Cagliari
Cagliari, Italy
Arkadiusz Orlowski <arkadiusz_orlowski[at]sggw.pl>
and Alexander Prokopenya <alexander_prokopenya[at]sggw.pl>
Faculty of Applied Informatics and Mathematics
Warsaw University of Life Sciences
Warsaw, Poland
Submissions
If you are interested in giving a presentation at this session, please email an abstract to one of the organizers. The duration of a talk is to be 30 minutes including time for discussion. Tentative deadline for talk submissions is 15th of May, 2015. More information at https://www.iitis.pl/~miszczak/aca2015/
Abstracts and photo from the workshop
We would like to thank all participants for their contribution to the the workshop Quantum Mechanics: Physical, Philosophical and Logical Approaches. Information about talks can be found in book of abstracts.
Birkhoff – von Neumann prize 2014
The Birkhoff-von Neumann Prize 2014 has been awarded to
- Dr. Weihua Liu (Department of Mathematics, University of California) and
- Dr. Anna Jenčová (Mathematical Institute, Slovak Academy of Sciences).
The Birkhoff-von Neumann Prize prize is awarded once every two years during the award ceremony held at the bi-annual conference of the International Quantum Structures Association (IQSA). The candidates for the prize are selected by the IQSA prize committee for their outstanding scientific achievements in the field of quantum structures and the impact their work has on the research in quantum logic and quantum foundations.