with : Giorgio Delzanno

38th Italian Conference on Computational Logic (CILC 2023) — 21/06/2023–23/06/2023

37th Italian Conference on Computational Logic (CILC 2022) — 29/06/2022–01/07/2022

Convegno Italiano di Logica Computazionale – 36º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming (CILC 2021) — 07/09/2021–09/09/2021

Workshop “Agenti & Vincoli” (A&V 2004@AI*IA 2004) — 17/09/2004

19º Convegno Italiano di Logica Computazionale (CILC 2004) — 16/06/2004–17/06/2004