Premi GULP per le migliori Tesi di Dottorato su argomenti di Logica Computazionale