Italian Conference on Computational Logic (40. : 2025 : Alghero) Bezüge im Wissensnetz Veranstaltungsort (1) GND Alghero Homepage (1) GND cilc2025.github.io