| 2026 | 41 | Proceedings of the 41th Italian Conference on Computational Logic, CILC 2026, Ferrara, Italy, June 23-25, 2026. | Ferrara | |
| 2025 | 40 | Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025. | Alghero | |
| 2024 | 39 | Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. | Rome | |
| 2023 | 38 | Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. CILC 2023 | Udine | 2023-06-21/23 |
| 2022 | 37 | Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. CILC 2022 | Bologna | 2022-06-29 to 2022-07-01 |
| 2021 | 36 | Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. CILC 2021 | Parma | 2021-09-07/09 |
| 2020 | 35 | Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. CILC 2020 | Rende | 2020-10-13/15 |
| 2019 | 34 | Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. CILC 2019, CILC | Trieste | 2019-06-19/21 |
| 2018 | 33 | Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. CILC 2018, CILC | Bolzano | 2018-09-20/22 |
| 2017 | | 18th Italian Conference on Theoretical Computer Science CILC, ICTCS 2017, ICTCS | Naples | 2017-09-26/28 |
| 2016 | 31 | Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. CILC 2016, CILC | Milan | 2016-06-20/22 |
| 2015 | 30 | Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CILC 2015, CILC | Genoa | 2015-07-01/03 |
| 2014 | 29 | Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CILC 2014, CILC | Turin | 2014-06-16/18 |
| 2013 | 28 | Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CILC 2013, CILC | Catania | 2013-09-25/27 |
| 2012 | 9 | Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 CILC 2012, CILC | Rome | 2012-06-06/07 |
| 2011 | 26 | Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 CILC 2011, CILC | Pescara | 2011-08-31 to 2011-09-02 |
| 2010 | 25 | Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 CILC 2010, CILC | Rende | 2010-07-07/09 |
