


default search action
Italian Conference on Computational Logic (CILC)
40th CILC 2025: Alghero, Italy
- Dario Guidotti, Laura Pandolfo, Luca Pulina:

Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025. CEUR Workshop Proceedings 4003, CEUR-WS.org 2025 [contents]
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]

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














