=========================================
QPLogic 2019: Call for Papers
=========================================

1st International Workshop on Quantum and Probabilistic Logic

Cottbus, Germany, September 9 –13, 2019
(part of Declare 2019; co-located with INAP, WFLP, and WLP)


Important Dates
----------------------------

Paper Registration: May 27, 2019
Paper Submissions: June 3, 2019
Notification of Acceptance: Juny 1, 2019
Camera-ready Papers: July 29, 2019
Early registration: August 12, 2019
Online registration: September 2, 2019
Conference: September 9–13, 2019



QPLogic 2019
----------------------------

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 sublattices.

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

QPLogic 2019 will be part of DECLARE 2019 and hence be co-located with WFLP 2019 (International Workshop on Functional and Logic Programming), WLP 2019 (Workshop on (Constraint) Logic Pro- gramming), and INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management).


Submission Guidelines
----------------------------

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 paper
Application paper
System description

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. For further information on the submission procedure, please visit the conference website: https://declare19.de


Proceedings
----------------------------

All papers accepted for presentation at the workshop will be published in informal proceedings publicly available at the Computing Research Repository (see https://arxiv.org/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.


Program Committee
----------------------------

Ingo Schmitt (BTU Cottbus – Senftenberg, Germany) (Chair)
Petra Hofstedt (BTU Cottbus – Senftenberg, Germany) (Chair)
Diederik Aerts (Vrije Universiteit Brussel, Belgium)
Maria L. D. Chiara (University of Florence, Italy)
Angelika Kimmig (Cardiff University, Great Britain)
Massimo Melucci (University of Padua, Italy)
Sandro Sozzo (University of Leicester, Great Britain)
Günther Wirsching (Catholic University Eichstätt-Ingolstadt, Germany)
Matthias Wolff (BTU Cottbus – Senftenberg, Germany)


Organizing Committee
----------------------------

Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert; Brandenburg University of Technology, Cottbus, Germany