COMPUTATION TOOLS - The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

ISSN: 2308-4170

**COMPUTATION TOOLS 2025, The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

April 06, 2025 to April 10, 2025 - Valencia, Spain

ISBN: 978-1-68558-264-7

**COMPUTATION TOOLS 2024, The Fifteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

April 14, 2024 to April 18, 2024 - Venice, Italy

ISBN: 978-1-68558-158-9

**COMPUTATION TOOLS 2023, The Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France

ISBN: 978-1-68558-050-6

**COMPUTATION TOOLS 2022, The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

April 24, 2022 to April 28, 2022 - Barcelona, Spain

ISBN: 978-1-61208-954-6

**COMPUTATION TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

April 18, 2021 to April 22, 2021 - Porto, Portugal

ISBN: 978-1-61208-851-8

**COMPUTATION TOOLS 2020, The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

October 25, 2020 to October 29, 2020 - Nice, France

ISBN: 978-1-61208-784-9

**COMPUTATION TOOLS 2019, The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

May 05, 2019 to May 09, 2019 - Venice, Italy

ISBN: 978-1-61208-709-2

**COMPUTATION TOOLS 2018, The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking**

February 18, 2018 to February 22, 2018 - Barcelona, Spain

ISBN: 978-1-61208-613-2

**COMPUTATION TOOLS 2017, The Eighth International Conferences on**

Computational Logics, Algebras, Programming, Tools, and Benchmarking

February 19 - 23, 2017 - Athens, Greece

**COMPUTATION TOOLS 2016, The Seventh International Conferences on**

Computational Logics, Algebras, Programming, Tools, and Benchmarking

March 20 - 24, 2016 - Rome, Italy

**COMPUTATION TOOLS 2015, The Sixth International Conferences on**

Computational Logics, Algebras, Programming, Tools, and Benchmarking

March 23 - 28, 2015 - Nice, France

**COMPUTATION TOOLS 2014, The Fifth International Conferences on**

Computational Logics, Algebras, Programming, Tools, and Benchmarking

May 25 - 29, 2014 - Venice, Italy

**COMPUTATION TOOLS 2013, The Fourth International Conferences on**

Computational Logics, Algebras, Programming, Tools, and Benchmarking

May 27 - June 1, 2013 - Valencia, Spain

**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