The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS 2022

April 24, 2022 to April 28, 2022 - Barcelona, Spain

Deadlines

Submission

Jan 24, 2022

Notification

Feb 20, 2022

Registration

Mar 03, 2022

Camera ready

Mar 10, 2022

Deadlines differ for special tracks. Please consult the conference home page for special tracks Call for Papers (if any).

Publication

Published by IARIA Press (operated by Xpert Publishing Services)

Archived in the Open Access IARIA 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 2022 - The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

April 24, 2022 - April 28, 2022

COMPUTATION TOOLS 2022: Awards
Onsite and Online Options: In order to accommodate a large number of situations, we are offering the option for either physical presence or virtual participation (pdf slides or pre-recorded videos).

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 (also Invited for IARIA Journals)

Efficient Formal Verification with Confidence Intervals
Naif Alasmari, Radu Calinescu

 

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

High-pass Filters Preprocessing in Image Tracing with Convolutional Autoencoders
Andreas Fischer, Zineddine Bettouche