Submit a Paper

Propose a Workshop

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

September 25-30, 2011 - Rome, Italy


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 diploma will be issued in the name of the authors and mailed to the contact author.

Awarded Papers

A Tool for Signal Probability Analysis of FPGA-Based Systems
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci

JClassic+ DE: A Description logic Reasoning tool: Application to dynamic access control
Narhimene Boustia, Aicha Mokhtari


Copyright (c) 2006-2010, IARIA