COMPUTATION TOOLS 2012, The Third International Conferences on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
July 22-27, 2011 - Nice, France
COMPUTATION TOOLS 2011, The Second International Conferences on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
September 25-30, 2011 - Rome, Italy
COMPUTATION TOOLS 2010, The First International Conferences on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
November 21-26, 2010 - Lisbon, Portugal