|
Conference chair of CP-AI-OR 2010 |
|
Program Committee member of ECAI 2010 |
|
|
Program Committee member of CILC 2010 |
|
Program Committee member of CHR 2010 |
|
Program Committee member of AI*IA 2009 |
| Coordinator (together with Toni Mancini) of the RCRA Group: the AI*IA interest group on knowledge representation and automatic reasoning. | |
|
|
Workshop chair of CILC 09 |
| Workshop Chair of RCRA 2008 | |
| Workshop Chair of RCRA 2007 | |
|
|
Executive board of GULP: Gruppo Utenti di Logic Programming (User Group of Logic Programming) |
| Organising Committee of RCRA 2006 | |
![]() |
Organising Committee of RCRA 2005 |
| Program Committee of CILC 2004 | |
![]() |
Program Committee of the AI*IA workshop on Constraints and Agents |
![]() |
CLeF: Computational Logic group in Ferrara |
CS
|
The Computer Science Group in Ferrara |
![]() |
ALP The Association of Logic Programming |
![]() |
ACP The Association for Constraint Programming |
![]() |
AI*IA: Associazione Italiana per l'Intelligenza Artificiale (the Italian Association for Artificial Intelligence) |
|
|
ECCAI: European Coordinating Committee for Artificial Intelligence |
![]() |
IEEE: Institute of Electrical and Electronics Engineers, Inc. |
![]() |
ADI: Associazione Dottorandi e dottori di ricerca Italiani (Italian Association of Ph.D.s and Ph.D. Students) |
|
|
ADVS-FIDAS: Associazione Donatori Volontari Sangue (association of blood donors) |
|
|
ADMO: Associazione Donatori Midollo Osseo (association of bone marrow donors) |
![]() |
AIDO: Associazione Italiana Donatori Organi (Italian Association of Organ Donors) |