posted by organizer: DBIS_BTU || 1047 views || tracked by 2 users: [display]

QPLogic 2019 : QPLogic - International Workshop on Quantum and Probabilistic Logic

FacebookTwitterLinkedInGoogle

Link: https://www.declare19.de/index.php/qplogic/
 
When Sep 9, 2019 - Sep 13, 2019
Where Cottbus, Germany
Abstract Registration Due May 27, 2019
Submission Deadline Jun 3, 2019
Notification Due Jul 1, 2019
Final Version Due Jul 29, 2019
Categories    theory   programming languages   cognitive systems   reasoning
 

Call For Papers

=========================================
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

Related Resources

IJBBR 2019   International Journal of BRIC Business Research
PLP 2019   The Sixth Workshop on Probabilistic Logic Programming
BIGML 2020   International conference on Big Data, Machine learning and Applications
PRICAI 2019   16th Pacific Rim International Conference on Artificial Intelligence
CONCUR 2020   31st International Conference on Concurrency Theory
CAIJ 2019   Computer Applications: An International Journal
ICQNM 2019   The Thirteenth International Conference on Quantum, Nano/Bio, and Micro Technologies
IJPLA 2019   International Journal of Programming Languages and Applications
QTML 2019   3rd Quantum Techniques in Machine Learning 2019
OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems