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

Submission

Jan 28, 2019

Notification

Mar 02, 2019

Registration

Mar 13, 2019

Camera ready

Mar 22, 2019

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

Indexing Procedure

Affiliated Journals

COMPUTATION TOOLS 2019 - The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

May 05, 2019 - May 09, 2019

COMPUTATION TOOLS 2019: Awards

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