Colleagues: Alberto Pettorossi, Fabio Fioravanti, Valerio Senni
The Association for Computing Machinery, ACM
The Association for Logic Programming, ALP
The European Association for Programming Languages and Systems, EAPLS
CoLogNet Network of Excellence in Computational Logic