International Workshop on Quantum and Probabilistic Logic

QPLogic

QPLogic is a forum for intensive discussion of aspects around quantum and probabilistic logic.

Most situations and decisions in the real world are based on uncertainties. Thus, an adequate support by  an information system demands for a strong theory as well as feasible algorithms to deal with probabilities. The mathematical theory behind quantum mechanics combines very elegantly concepts from linear algebra, logic and probabilities into one formalism. Quantum logic is based on a non-distributive lattice containing Boolean sub-lattices.

The focus of the workshop is on theoretical and practical aspects of quantum and probability logic. The theory of quantum mechanics can be seen as a bridge between logic and probability theory and can therefore help to learn from their interactions. The idea of the workshop is to bring experts from both areas together in order to gain new insights.

We invite high quality contributions on the described topics, especially, but not exclusively, on different aspects of quantum and probabilistic logic:

  • theory
  • information retrieval
  • programming languages
  • data and process modeling
  • cognitive systems
  • reasoning
  • database query processing

 

Submission Guidelines

Submission is via Easychair submission website for QPLogic 2019:

https://easychair.org/conferences/?conf=qplogic2019

Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories:

  • Regular research papers
  • Application papers
  • System descriptions

We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere.  However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style.

Publication

All papers accepted for presentation at the workshop will be published in informal proceedings publicly available at the Computing Research Repository CoRR.  All accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop and to present the paper.

Deadlines

  • Paper Registration: May 27, 2019
  • Submission: June 3, 2019
  • Notification of Authors: July 1, 2019
  • Camera-ready Papers: July 29, 2019
  • Early Registration: August 12, 2019
  • Online Registration: September 2, 2019
  • Conference & Workshops: September 9-13, 2019

Program committee

Ingo Schmitt (BTU Cottbus – Senftenberg, Germany) (co-Chair)
Petra Hofstedt (BTU Cottbus – Senftenberg, Germany) (co-Chair)

Diederik Aerts (Vrije Universiteit Brussel, Belgium)
Maria Luisa Dalla Chiara (University of Florence, Italy)
Angelika Kimmig (Cardiff University, UK)
Massimo Melucci (University of Padua, Italy)
Sandro Sozzo (University of Leicester, UK)
Günther Wirsching (Katholische Universität Eichstätt-Ingolstadt, Germany)
Matthias Wolff (BTU Cottbus – Senftenberg, Germany)

 

Call for Papers (as pdf)