Current activities

Committees

  1. 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.

  2. President of the Italian Association for Logic Programming GULP ("Gruppo Ricercatori e Utenti di Logic Programming").

Memberships

Past activities

Organizing activities

  1. Organizer of CILC'04: Convegno Italiano di Logica Computazionale, Parma, June 16-17, 2004.

  2. Co-organizer (with Bharat Jayaraman) of the DPS'99 - Workshop on Declarative Programming with Sets, Paris, September 1999.

  3. Co-organizer (with Nicoletta Cocco) of the International Summer School on Advances in Logic Programming, Alghero, Sardegna, June 1996.

  4. Co-organizer (with Eugenio Omodeo) of the ICLP'93 Post-Conference Workshop on Logic Programming with Sets, Budapest, June 1993.

Program Committees

  1. Member of the Program Committee of the UNIF 2010 - 24th International Workshop on Unification, Edinburgh (UK), July 2010 (proceedings).

  2. Member of the Program Committee of the ICLP'08 - International Conference on Logic Programming, Udine (Italy), December 2008.

  3. Member of the Program Committee of the AGP'01 - 2001 Joint Conference on Declarative Programming, Evora (Portugal), 2001.

  4. Member of the Program Committee of the AGP'98 - 1998 Joint Conference on Declarative Programming, Spain, 1998.

  5. Member of the Program Committee of the 7th Int. Conf. on Artificial Intelligence and Information-Control Systems of Robots, Smolenice, Slovakia, September 1997.

  6. Member of the Program Committee of the AGP'96 - 1996 Joint Conference on Declarative Programming, San Sebastian, Spain, July 1996.

  7. Member of the Program Committee of the ICLP'94 Post-Conference Workshop on Deductive Databases and Logic Programming, S.Margherita Ligure, Italy, June 1994.

  8. Member of the Program Committee of the GULP-PRODE'94 - 1994 Joint Conference on Declarative Programming, Peniscola, Spain, September 1994.

  9. 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.

  10. Member of the Program Committee of the Seventh National Conference on Logic Programming, Italy, 1992.

  11. Member of the Program Committee of the Fourth National Conference on Logic Programming, Italy, 1989.

  12. Member of the Program Committee of the 5th Int. Conf. on Artificial Intelligence and Information-Control Systems of Robots, Smolenice, Czechoslovakia, November 1989.

  13. Member of the Program Committee of the First National Conference on Logic Programming, Italy, 1986.