Submission | Jan 28, 2019 |
Notification | Mar 02, 2019 |
Registration | Mar 13, 2019 |
Camera ready | Mar 22, 2019 |
The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
COMPUTATION TOOLS 2019
May 05, 2019 to May 09, 2019 - Venice, Italy
Deadlines
Publication
Published by IARIA XPS Press |
|
Archived in the free access ThinkMind Digital Library |
|
Prints available at Curran Associates, Inc. | |
Authors of selected papers will be invited to submit extended versions to a IARIA Journal | |
Affiliated Journals
COMPUTATION TOOLS 2019 - The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 05, 2019 - May 09, 2019
The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a digital award will be issued in the name of the authors. The authors of these papers are also receiving invitations to submit an extended article version to one of the IARIA Journals.
Awarded Papers
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.
Papers Invited for IARIA Journals
Image Reconstruction Using Partial Fuzzy Transform
Martina Dankova, Viktor Pavliska
Copyright (c) 2006-2020, IARIA