The Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2014 May 25 - 29, 2014 - Venice, Italy

Photos

Here are some photos taken during the event. Some photos provided by Hans-Werner Sehring.