The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2013 May 27 - June 1, 2013 - Valencia, Spain

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.

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