Current activities
Committees
- Member of the Editorial Board of the journal
Computing and Informatics
(formerly,
Computers and Artificial Intelligence),
published by the Slovak Academy of Sciences, Bratislava, Slovakia.
- President of the Italian Association for Logic Programming
GULP ("Gruppo Ricercatori e Utenti di Logic Programming").
Memberships
Past activities
Organizing activities
- Organizer of CILC'04:
Convegno Italiano di Logica Computazionale,
Parma, June 16-17, 2004.
- Co-organizer (with Bharat Jayaraman) of the
DPS'99 - Workshop on Declarative Programming with Sets,
Paris, September 1999.
- Co-organizer (with Nicoletta Cocco) of the
International Summer School on Advances in Logic Programming,
Alghero, Sardegna, June 1996.
- Co-organizer (with Eugenio Omodeo) of the ICLP'93 Post-Conference
Workshop on Logic Programming with Sets,
Budapest, June 1993.
Program Committees
- Member of the Program Committee of the
UNIF 2010 - 24th International Workshop on Unification,
Edinburgh (UK), July 2010
(proceedings).
- Member of the Program Committee of the
ICLP'08 - International Conference on Logic Programming,
Udine (Italy), December 2008.
- Member of the Program Committee of the
AGP'01 - 2001 Joint Conference on Declarative Programming,
Evora (Portugal), 2001.
- Member of the Program Committee of the
AGP'98 - 1998 Joint Conference on Declarative Programming,
Spain, 1998.
- Member of the Program Committee of the
7th Int. Conf. on Artificial Intelligence and Information-Control
Systems of Robots,
Smolenice, Slovakia, September 1997.
- Member of the Program Committee of the
AGP'96 - 1996 Joint Conference on Declarative Programming,
San Sebastian, Spain, July 1996.
- Member of the Program Committee of the
ICLP'94 Post-Conference
Workshop on Deductive Databases and Logic Programming,
S.Margherita Ligure, Italy, June 1994.
- Member of the Program Committee of the
GULP-PRODE'94 - 1994 Joint Conference on Declarative
Programming,
Peniscola, Spain, September 1994.
- Member of the Program Committee of the
6th Int. Conf. on Artificial Intelligence and Information-Control
Systems of Robots
(Cfp /
Final programme)
Smolenice, Slovakia, September 1994.
- Member of the Program Committee of the
Seventh
National Conference on Logic Programming,
Italy, 1992.
- Member of the Program Committee of the
Fourth
National Conference on Logic Programming,
Italy, 1989.
- Member of the Program Committee of the
5th Int. Conf. on Artificial Intelligence and Information-Control
Systems of Robots,
Smolenice, Czechoslovakia, November 1989.
- Member of the Program Committee of the
First
National Conference on Logic Programming,
Italy, 1986.