New papers of our group members at arXiv

 Senza categoria  Commenti disabilitati su New papers of our group members at arXiv
Feb 252016

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

 conference  Commenti disabilitati su Computer algebra in quantum computing and quantum information theory
Feb 032015

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.


Vladimir Gerdt <gerdt[at]>
Laboratory of Information Technologies
Joint Institute for Nuclear Research
Dubna, Russia

Michael Mc Gettrick <michael.mcgettrick[at]>
De Brun Centre for Computational Algebra
School of Mathematics
National University of Ireland
Galway, Ireland

Jaroslaw Adam Miszczak <miszczak[at]>
Institute of Theoretical and Applied Informatics, Polish Academy of Sciences
Gliwice, Poland
University of Cagliari
Cagliari, Italy

Arkadiusz Orlowski <arkadiusz_orlowski[at]>
and Alexander Prokopenya <alexander_prokopenya[at]>
Faculty of Applied Informatics and Mathematics
Warsaw University of Life Sciences
Warsaw, Poland


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

Abstracts and photo from the workshop

 conference  Commenti disabilitati su Abstracts and photo from the workshop
Lug 272014

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

 awards  Commenti disabilitati su Birkhoff – von Neumann prize 2014
Lug 022014

The Birkhoff-von Neumann Prize 2014 has been awarded to

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.

contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy