The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2011 September 25-30, 2011 - Rome, Italy

Photos

Here are some photos taken during the event. Many thanks to Friedrich Laux for providing some of these photos: