Submit a Paper

Propose a Workshop

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


May 27 - June 1, 2013 - Valencia, Spain


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.

Awarded Papers

Static and Dynamic Analysis for Robustness under Slowdown
Ingram Bondin, Gordon Pace

Using an Expression Interpreter to Reason With Partial Terms
Lev Naiman


Copyright (c) 2006-2013, IARIA