![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Italian Conference on Computational Logic (CILC)
39th CILC 2024: Rome, Italy
- Emanuele De Angelis, Maurizio Proietti:
Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. CEUR Workshop Proceedings 3733, CEUR-WS.org 2024 [contents]
38th CILC 2023: Udine, Italy
- Agostino Dovier, Andrea Formisano:
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. CEUR Workshop Proceedings 3428, CEUR-WS.org 2023 [contents]
37th CILC 2022: Bologna, Italy
- Roberta Calegari, Giovanni Ciatto, Andrea Omicini:
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. CEUR Workshop Proceedings 3204, CEUR-WS.org 2022 [contents]
36th CILC 2021: Parma, Italy
- Stefania Monica, Federico Bergenti:
Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. CEUR Workshop Proceedings 3002, CEUR-WS.org 2021 [contents]
35th CILC 2020: Rende, Italy
- Francesco Calimeri, Simona Perri, Ester Zumpano:
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. CEUR Workshop Proceedings 2710, CEUR-WS.org 2020 [contents]
34th CILC 2019: Trieste, Italy
- Alberto Casagrande, Eugenio G. Omodeo:
Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. CEUR Workshop Proceedings 2396, CEUR-WS.org 2019 [contents]
33rd CILC 2018: Bolzano, Italy
- Paolo Felli, Marco Montali:
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. CEUR Workshop Proceedings 2214, CEUR-WS.org 2018 [contents]
32nd CILC / 18th ICTCS 2017: Naples, Italy
- Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro:
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. CEUR Workshop Proceedings 1949, CEUR-WS.org 2017 [contents]
31st CILC 2016: Milan, Italy
- Camillo Fiorentini, Alberto Momigliano:
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. CEUR Workshop Proceedings 1645, CEUR-WS.org 2016 [contents]
30th CILC 2015: Genova, Italy
- Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents]
29th CILC 2014: Torino, Italy
- Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014 [contents]
28th CILC 2013: Catania, Italy
- Domenico Cantone, Marianna Nicolosi Asmundo:
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CEUR Workshop Proceedings 1068, CEUR-WS.org 2013 [contents]
27th CILC 2012: Rome, Italy
- Francesca A. Lisi:
Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. CEUR Workshop Proceedings 857, CEUR-WS.org 2012 [contents]
26th CILC 2011: Pescara, Italy
- Fabio Fioravanti:
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR Workshop Proceedings 810, CEUR-WS.org 2011 [contents]
25th CILC 2010: Rende, Italy
- Wolfgang Faber, Nicola Leone:
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010 [contents]
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.