Fausto Giunchiglia

Professore ordinario

Dipartimento di Ingegneria e Scienza dell'Informazione

Area CUN: Ingegneria industriale e dell'informazione (09)
Settore scientifico disciplinare: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)

Via Sommarive, 5 - 38123 Povo
tel. 0461 281533
fausto.giunchiglia[at]unitn [dot] it | http://www.disi.unitn.it/~fausto/
Formazione
1987: PhD in Computer Engineering, University of Genoa, Faculty of Engineering
1983: Master in Computer Engineering, University of Genoa, Faculty of Engineering
1981: Laurea in Electronic Engineering (specialization in Computer Engineering), University of Genoa, Faculty of Engineering
Carriera accademica ed attività didattica
Carriera Accademica ed attività didattiche

2002-2007 Head of the Department of Information and Communication Technology, University of Trento, Italy
2001-2004 Vice-Rector of the University of Trento, Italy
1999-present: Full Professor, Faculty of Science, University of Trento, Italy
1998-99: Head of the Automated Reasoning Systems division, ITC-IRST, Trento, Italy
1994-97: Project manager, ITC-IRST, Trento, Italy
1992-99: Associate Professor, Faculty of Economics, University of Trento, Italy
1992-93: Head of Research Laboratory, ITC-IRST, Trento, Italy
1990-97: Visiting fellow, Department of Computer Science, Stanford University, Stanford, USA
1990-92: Researcher, Faculty of Engineering, University of Genoa, Italy
1988-91: Senior Researcher, ITC-IRST, Trento, Italy
1987-88: Research Fellow, Department of Artificial Intelligence, University of Edinburgh, Scotland,
UK
1986-88: Adjunct Professor, Faculty of Engineering, University of Genoa, Italy
1985-87: PhD student, Stanford University, Stanford, USA
1983-86: Doctorate student, Faculty of Engineering, University of Genoa, Italy
1981-83: Research Assistant, Faculty of Engineering, University of Genoa, Italy

Teaching Activities:

2002-07: “Research Methodology or: Reading, Thinking, Writing and Speaking", Master in Computer Science and PhD ICT, University of Trento
2006-07: “Logics for Data and Knowledge Representation”, Master in Computer Science and PhD ICT, University of Trento
2001-02: “Computer Sciences I”, Laurea in Telecommunications Engineering, University of Trento
2001-04: “Software Engineering”, Laurea in Computer Science, University of Trento
1998-99: “Programming”, Laurea in Mathematics, Faculty of Science, University of Trento;
1995-99: “Languages and Interpreters”, Laurea in Political Economy, Faculty of Economics, University of Trento;
“Test Computer Science”, Faculty of Economics, University of Trento;
1994-95: “Logics for Data and Knowledge Representation”, PhD in Computer Science Engineering, “La Sapienza” University of Rome;
1993-95: “Languages and Interpreters”, Laurea in Computer Science Engineering, Faculty of Engineering, University of Trento;
1992-95: “Automatic Computation”, Laurea in Political Economy, Faculty of Economics, University of Trento;
Interessi di ricerca
Most Relevant Research Work (until 2002; some of this work is joint)
I defined a theory of abstract reasoning which captured and formalized the previous work in abstraction in Artificial Intelligence. The most relevant paper in this area is :
1. F. Giunchiglia and T. Walsh, “A Theory of Abstraction”, Artificial Intelligence, 56(2-3):323-390, October 1992.
I provided a theory of contexts and contextual reasoning. The most relevant papers in this area are:
2. F. Giunchiglia: “Contextual reasoning”, Epistemologia - Special Issue on "I Linguaggi e le Macchine", XVI:345-364, 1993. This paper provides the main intuitions underlying the use of contexts in reasoning
3. F. Giunchiglia, L. Serafini: “Multilanguage Hierarchical Logics (or: How we can do without modal logics)”, Artificial Intelligence, 65:29-70, 1994. This paper provides (a first part of) the proof theory of reasoning with contexts and shows how very special kinds of multicontext systems (also called Multilanguage systems) can be proved equivalent to the various modal logics)
4. F. Giunchiglia and C. Ghidini: “Local Model Semantics, or Contextual Reasoning = Locality + Compatibility”, Artificial Intelligence, 127(2):221-259, 2001. This paper introduces a new semantic framework, called Local Models Semantics, and shows how it formalizes the two main principles underlying reasoning with contexts. This paper gives also various correctness and completeness results with the proof theoretic systems introduced in the previous papers
5. F. Giunchiglia and P. Bouquet, “Introduction to Contextual Reasoning, an Artificial Intelligence Perspective”, in B. Kokinov Perspectives on Cognitive Science, pages 138-159, New Bulgarian University, 1997. Though largely incomplete and preliminary, this paper is a first attempt at relating my work with that done in the philosophy of language and cognitive science literature.
I provided a foundation to metatheoretic reasoning. The most relevant papers in this area are:
6. G. Criscuolo, F. Giunchiglia and L. Serafini, “A Foundation for Metareasoning, Part I: The proof theory”, accepted for publication in: Journal of Logic and Computation
7. G. Criscuolo, F. Giunchiglia and L. Serafini, “A Foundation for Metareasoning, Part II: The model theory”, accepted for publication in: Journal of Logic and Computation.
I showed how SAT decision procedures could be very efficiently used for reasoning in propositional modal logics. I also came up with a statistical method for testing the efficiency of modal logics decision procedures. The maybe most influential paper on this topic (but various others followed) is:
8. E. Giunchiglia, F. Giunchiglia, R. Sebastiani and A. Tacchella, “More evaluation of decision procedures for modal logics”, in A.G. Cohn, L. Schubert and S.C. Shapiro Proceedings KR'98, Sixth International Conference on Principles of Knowledge Representation and Reasoning, pages 626-635, Morgan Kaufmann, 1998
I came up with the idea that planning could be seen as reasoning in an appropriate (Kripke) model and implemented using BDD model checking technology. The paper surveying this approach is (this idea was taken up and substantially developed by various colleagues of mine, most noticeably Paolo Traverso and Alessandro Cimatti):
9. F. Giunchiglia, P. Traverso, “Planning as Model Checking”, invited talk. In Proceedings ECP'99, Fifth European Conference on Planning, Durham, UK, September 1999. This paper provides an introduction to the theory underlying the planning as model checking paradigm.
I developed a specification formalism and a practical approach, called Open Mechanized Reasoning Systems (OMRS), for the integration of very diverse reasoning systems. The most relevant paper on this topis is:
10. F. Giunchiglia, P. Pecchiari, C. Talcott, “Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems”, Journal of Automated Reasoning, 26:291-331, Kluwer, 2001.

Currently I am interested in developing a methodology for Agent Oriented Software Engineering. The most relevant paper in this topic is:
- A. Perini, F. Giunchiglia, J. Mylopoulos, P. Bresciani, P. Giorgini, “A Knowledge Level Software Engineering Methodology for Agent Oriented Programming”, in Proceedings of the Fifth International Conference on Autonomous Agents - (Agents 2001).
Attività di ricerca
Projects (started after 2002)

2006-09: Research project “Intelligent technologies for cultural visits and mobile education” FIRB ISRAELE, financed by MIUR;
2006-09: Research project “OpenKnowledge”, EC project (STREP), financed by European Community;
2006-08: Research project “EASTWEB: building an integrated leading Euro-Asian higher education and research community in the field of the Semantic WEB”, EU IRG, financed by European Community;
2006-08: Industrial project “A distributed multi-institution file system for eWelfare”, HIT-DIT, Italy;
2006-07: Industrial project “IBM Shared University Research (SUR) program 2006”;
2006: Industrial project, Creation of the “Trentino as Lab”, TASLAB I-II;
2004-08: “Knowledge Web”, Network of Excellence, financed by European Community;
2004-07: Research project “Software Methodology and Technology for Peer-to-Peer Systems”, STAMPS , PAT;
2003-05: Research project, “Artificial Intelligence Techniques for the Retrieval of High Quality Information on the Web”, COFIN 2003, PRIN program, financed by MIUR;
2003-05: Education and Mobility Project, ITPAR03-SWENG
2003-04: Industrial projects “Problematiche di Knowledge Management, I – III”, TeleSistemi
Ferroviari SPA (TSF) and TrenItalia;
2002-05: Research project “Knowledge-level Automated Software Engineering”, FIRB program, financed by MIUR;
Industrial Project “Logicost”, financed by Research Centre FIAT (CRF);
Industrial Project “IJCAI Trustees”, financed by IJCAI Inc.;
Research project “Enabling On-Board Autonomy: a Platform for the Development of Verified Software (DOVES)”, financed by ASI (Agenzia Spaziale Italiana);
2002-03: Research project “Safety Critical Software for Planning in Space (SACSO)”, financed by ASI (Agenzia Spaziale Italiana);
Appartenenza a società e comitati scientifici
Scientific Organizations

- President of the Board of Trustees of IJCAI, 2005-2007
- Member of the Committee of the Interdisciplinary Laboratory on Interacting Knowledge systems an "European Joint Laboratory", an initiative of the French Centre National de la Recherche Scientifique (CNRS), with Partners IRIT, ISTC and University of Trento, 2005 – present
- Steering Committee Member and Vice-President (Europe) of the Asian Semantic Web Conference Series (ASWC), 2005 – present
- Member of the European Coordinating Committee on Artificial Intelligence (ECCAI) Fellows Selection Committee, 2004-2006
- Fellow of the European Coordinating Committee on Artificial Intelligence (ECCAI), 2002-present
- President of GraphiTech, a member of the IniGraphicsNet foundation, 2002 - 2005.
- President of KR & R (“Knowledge Representation and Reasoning”), Inc., 2002-2004.
- Member of the IJCAI Board of Trustees (2001 - 2011)
- Member of the Board of Trustees of the CALCULEMUS Interest Group/Workshop (1999-2001).
- Steering Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA (1999-present).
- Advisory Board member of KR, Inc. (1997-present).
- Steering Committee member of the International and Interdisciplinary Conference on Modeling and Using Context (1997-present).
- Organizing Committee member of the IEEE Conf. on Logic in Computer Science (LICS) (1997 – 2003)
Premi e riconoscimenti
-Author (joint with Alessandro Cimatti, Enrico Giunchiglia, Paolo Traverso) of the paper "Planning via Model Checking: A Decision Procedure for AR" published in the European Conference on Planning (ECP) in 1997, selected as the "International Conference on Automated Planning and Scheduling"(ICAPS) Influential paper in 2008, SIdney, September 2008
- Prize and Guest Professor of Jilin University, ChangChun, China, September 2008
- Winner of the “IBM Shared University Research Grant”, 2006
- Fellow of the European Coordinating Committee for Artificial Intelligence, (ECCAI). Nominated in 2002
- Winner of the first ever edition of the "Artificial Intelligence" prize sponsored by the Italian Association for Artificial Intelligence (AI*IA), as best Italia research scientist born after 1957 (1992).
- Co-author of the article "Abstraction in AI", awarded as the best paper at the AISB (Association for Artificial Intelligence and Simulation of Behaviour) Postgraduate workshop (1990).
- Winner of a CNR prize for outstanding research done in the period covered by the first CNR (National Research Council) scholarship (1986).
- Winner of a CNR (National Research Council) scholarship (one year) (1986).
- Winner of a CNR (National Research Council) scholarship (six months) (1985).
- Winner of the Fullbright Scholarship. (1985) (Not accepted).
- Co-author of the article "From Descriptions to Images: What reasoning in between?", awarded as the best paper on Cognitive Modeling at the European Conference on Artificial Intelligence (ECAI) (1984).
Convegni e conferenze
RELAZIONI INVITATE:

- 1st Asian Autumn School on the Semantic Web, South Korea, November, 2007.
- Workshop on Pilot Projects and Innovative Public Procurement across Europe on ICT solutions for elderly people, organized by the DG Information Society and Media Directorate, EC, Brussels, March 2007.
- Keynote talk at the International Conference on the Semantic Web and Digital Libraries (ICSD-07), Bangalore, India, February 2007.
- Panel of the wokshop "La dimensione Semantica del Web", organized by IBM, Roma, November 2006.
- Research directions for "ICT forever yours", FET 7th Framework, IST2006 conference in Helsinki, Finland, November 2006.
- Panel on "Creating a new community at large: industrial and academic research, policy makers, funding agencies", Converging Sciences Conference 2006, Trento, October 2006.
- Workshop on Ontology Matching, International Semantic Web Conference (ISWC'06), Athens, USA, 2006.
- Workshop "Semantic Web Education and Training Workshop", First Asian Semantic Web Conference, Peching, September 2006.
- Keynote talk at the 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IRA/AIE'06), Annecy (Geneva), June 2006.
- Keynote talk at the IADIS International conference WWW/Internet 2006, Murcia, Spain, October 2006 Keynote talk, European Conference on Artificial Intelligence (ECAI-06), 2006.
- Panel on "Semantic Technology - A European Perspective", WWW 2006, Edinburgh, 2006.
- Keynote talk, at the European Conference on Artificial Intelligence (ECAI-06), 2006.
- Third workshop on Agents Applied in Health Care, 2005, Edinburgh (colocated with Ijcai 2005)
- Second International Workshop on Modeling and Retrieval of Context (MRC 2005), Edinburgh. August 2005
- 2005 DERI Europe meeting, May 2005, Crete
- 2nd European Semantic Web Conference, May-June 2005, Crete (ESWC'05)
- 5th International Conference on Frontiers of Combining Systems (FroCoS 2005) Vienna, Austria, September 19-21, 2005
- Fourth International Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS 2005) at the 27th International Conference on Software Engineering (ICSE 2005) in St. Louis, Missouri, USA, May 15-16, 2005
- Keynote Speaker at the Web Applications and Research (WAR2005) conference part of the IADIS Virtual Multi Conference on Computer Science and Information Systems (MCCIS 2005), April 2005
- Keynote talk, the First International Workshop on Contexts and Ontologies, Theory, practice and applications, AAAI July 2005, Pittsburgh, 2005
- Keynote speech at the Peer-to-Peer Knowledge Management P2PKM Workshop , Mobiquitous 2004, Boston, Massachusetts, USA, August 22-26, 2004
- Magisterial lecture at the AILA Summer School on Logic, Cesena, September, 2004
- School on Ontological Engineering and the Semantic Web (SSSW-03) July, 2004
- ISWC2003, 2nd International Semantic Web Conference, Workshop on Semantic Integration, Sanibel Island, USA, October 20-23, 2003
- IJCAI-03,Workshop on Ontologies and Distributed Systems, Acapulco, Mexico, August 9-15, 2003
- AOIS’02 Workshop at CAiSE'02. Toronto (Canada), 27-28 May, 2002
- 2002 International Training Seminar of the CALCULEMUS Research Training Network. 24 September - 5 October, 2002
- AICA 2001 - XXXIX Annual Conference, Como, Italy, September 19-22, 2001
- ATAL2001, Eighth International Workshop on Agent Theories, Architectures, and Languages, Seattle, USA, August 1-3, 2001
- Workshop on Models and Methods of Analysis for Agent Based Systems (co-located with ETAPS 2001), Genoa, Italy, April 7, 2001
- FOSAD 2000, International School on Foundations of Security Analysis and Design, Bertinoro, Italy, September 18-30, 2000
- FORTE/PSTV 2000, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, Florence, Italy, October 10-13, 2000
- SSGRR 2000 International Conference on Advances in Infrastructures for Electronic Business, Science, and Education on the Internet, L’Aquila,Italy, 31 July-6 August 2000
- Workshop VIRES (Verifying Industrial REactive Systems), Grenoble, France, 14-15 June 2000
- Round Table on Intelligenza Artificiale e Applicazioni: Problematiche e Potenzialità, Convegno AI*IA 1999, Bologna, Italy, 1999
- CALCULEMUS - Int. Symposium on Systems for Integrated Computation and Deduction, Trento, 1999
- AgentLink and Compulog Joint Workshop on the Future of Logic-based Agents, London, 1999
- 5th European Conference on Planning (ECP-99), Durham University (UK), 1999
- 2nd International and Interdisciplinary Conference on Modeling and Using Context, (CONTEXT’99), Trento, 1999
- Stanford Spring Colloquium in Artificial Intelligence and Robotics, Stanford University, California, 1998
- Int. Workshop on Rewriting Logic and its Applications (WRTLA), Nancy, France, 1998
- AISB Workshop on Automated Reasoning – “Bridging the Gap between Theory and Practice”. St. Andrews (Scotland), 1998
- 4th Model Age Workshop, Certosa di Pontignano (Siena), Italy, 1997
- Int. Conf on Artificial Intelligence and Mathematics, Miami, Florida, 1996
- Int. Summer School on Cognitive Science, Sofia, Bulgaria, 1996
- IJCAI Workshop on Contexts, Montreal, Canada, 1995
- Round Table on Logica, Scienze Cognitive e Intelligenza Artificiale. Congresso Società Italiana di Logica e Filosofia della Scienza (SILFS), Lucca, Italy, 1993
- Workshop on Meta-Level Architectures for Artificial Intelligence, Blanes (Spain), 1993
- Workshop on Open Systems for Mechanized Reasoning, Stanford University, California, 1992
- AAAI Workshop on Approximation and Abstraction of Computational Theories, San José, California, 1992
- Seminar series on “Sistemi Cognitivi Naturali ed Artificiali”, Padova, Italy, 1990
- Workshop on “Esperienze in dimostrazione automatica di teoremi”, Milano, Italy, 1989
- Convegno Associazione Italiana per Intelligenza Artificiale (AI*IA), Ancona, Italy, 1988
- 1987 IEEE COMPCON Conference, San Francisco, California, 1987
- Symposium on “PROLOG e Logic programming”, Padova, Italy, 1984
Altre attività
Management Positions:

2007-Present: Vice President (Internationalization) of STi2 (Semantic Technology Institutes International),
Vienna;
2003-2004 Member of the Steering Committee of the Trentino Agency for the Development (Representing the University of Trento);
2001-2004 Vice-rector of the University of Trento in charge of the: “University Computer Science Project” and of “Reengineering and development of the University of Trento organization”;
2001-2003 Member of the Steering Committee of the “Tecnofin Servizi Center” (Representing the University of Trento);
2000-2003 President of the committee in charge of interaction with the unions with the University of Trento (from October 1st);
Member of the Scientific Committee of the project on “Advanced Biology” of the San Michele all’Adige Institute;
1999-2000 Delegate of the Rector for “ Organizational Innovation” at the University of Trento;
1998-2000 Manager for the project of reorganisation and automation of the system of accounting and management control of the University of Trento;
1997-2000 Manager for the project of reorganisation and automation of the didactics and of the services to the students (students’ secretarial) of the University of Trento;
President of “Polo GARR”, Trento;
1996-2002 Delegate of the Rector and President of the Information Services Committee “CASITM”;
1995-1998: Manager of the Computer Science Laboratory (DISALAB) of the Department of Computer Science and Business Studies (DISA).

Journal Boards
- Scientific Committee member of the journal Networks - a journal in philosophy or artificial intelligence and cognitive sciences, 2002-present
- Member of the Advisory Board of the QPQ ("QED Pro Quo") online journal of peer-reviewed source code for deductive software components, 2002-Present
- Member of the Editorial Board of the Book series "Frontiers in AI and its applications", IOS Press, 2002-present.
- Co-editor Special Issue of the Artificial Intelligence Journal on “Abstraction“, Springer Verlag, 2004.
- Co-editor Special Issue of the Artificial Intelligence Journal on “Reformulation” (provisional title), Springer Verlag, 2002.
- Editorial Board Member of the Journal of Applied non Classical Logics, Hermes-Science Publication, 2001-present.
- Editorial Board Member of the Int. Journal of Autonomous Agents and Multi-Agent Systems, 2000-present.
- Editorial Board Member of AICOM - AI Communications, IOS Press, 2000-present.
- Co-editor Special Issue Int. Journal on Software Tools for Technology Transfer (STTT) (Springer). Title: "Mechanized Theorem Proving for Technology Transfer", 1999.
- Co-editor Special Issue Journal of Logic and Computation (JLC), Oxford University Press. Title: "Computational and Logical Aspects of Multi-Agent Systems", 1998.
- Editorial Board Member of the Int. Journal on Software Tools for Technology Transfer (STTT) (Springer), 1997-present.
- Advisory Board Member of the Journal of Artificial Intelligence Research (JAIR), 1997-2001.
- Associate Editor of the Journal of Artificial Intelligence Research (JAIR), 1994-1996.
- Editorial Board Member of the Journal of Artificial Intelligence Research (JAIR), 1993-1994.

Conference Boards
Chair
- General Chair of the 1st Asian Conference on the Semantic Web (ASWC), 2006
- Conference Chair of the International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, 2005
- General Co-Chair of the Mobiquitous 2004 - The First Annual IEEE/ACM International Conference on Mobile and Ubiquitous Systems: Networking and Services, Boston, Massachusetts, USA, August 22-25, 2004
- Conference Chair of the International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT03), Stanford, California (USA), June 18-21, 2003
- Program Co-Chair workshop on Agent Oriented Software Engineering (AOSE 2002) Palazzo Re Enzo, Bologna, Italy, July 15, 2002
- General Chair of the Conference on Knowledge Representation and Reasoning (KR&R 2002), Toulouse, France, April 2002.
- Conference Chair of CoopIS’01, IFCIS International Conference on Cooperative Information Systems, Trento, Italy, September 2001.
- Program co-chair of the Conference on Knowledge Representation and Reasoning (KR&R 2000), Breckenridge, Colorado, USA, April 2000.
- Program Co-chair of the International Workshop on The Logic and Strategy of Distributed Agents, Trento (Italy), December 14-19, 2000.
- Conference chair of The 1999 Federated LOgic Conference (FLoC). Federated conferences: CAV, CADE, LICS, RTA. Trento, Italy, 1999.
- Conference and Program Chair of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), 1998
- Program Co-chair of the Symposium on Abstraction, Reformulation and Approximation (SARA), 1998

Committee Member (selected list)
- Program Committee Member of The 6th International Semantic Web Conference (ISWC 2007), November 11 (Sunday) - 15 (Thursday), 2007, Busan, Korea.
- Program Committee Member of 4th European Semantic Web Conference (ESWC 2007), 3-7th, June 2007, Innsbruck, Austria.
- Program Committee Member of AAAI 2007, "AI and the WEB (AIW) track", 2007.
- Program Committee Member of International Conference on the Semantic Web and Digital Libraries (ICSD-07), Bangalore, India, February 2007.
- Program Committee Member of Workshop on Semantics for Web Services (SemWS'06), in conjunction with Forth European Conference on Web Services (ECOWS 2006), Zurich, Switzerland, December 2006.
- Program Committee Member of the international workshop on Ontology Matching (OM-2006), 5th International Semantic Web Conference (ISWC'06), November 2006, Georgia, USA.
- Program Committee Member of Workshop on Ontology Content and Evaluation in Enterprise (OnToContent), in conjunction with OTM'06, Oct 29 - Nov 3, 2006 , Montpellier, France
- Program Committee Member of CoopIS 2006, the 14th International Conference on Cooperative Information System, Montpellier, France, October 29 - November 3 2006
- Program Committee Member of the Worskshop on Modeling and Retrieval of Context (MRC2006)
- Program Committee Member of the Workshop on Contexts and Ontologies: "Theory, Practice and Applications" 2006
- Program Committee Member of the 4th German Conference on Multiagent Systems Technologies (MATES 2006)
- Senior PC member of the 10th International Workshop on Cooperative Information Agents (CIA 2006)
- Program Committee Member of the 7th International Conference on Electronic Commerce and Web Technologies EC-WEB 2006, Krakow, Poland, September 2006
- Program Committee Member of IIWEB 2006, workshop on Information Integration on the Web, in conjunction with WWW2006, Edinburgh, 2006
- Program Committee Member for the 3rd Annual European Semantic Web Conference (ESWC2006) 11-14 June 2006, Budva, Montenegro
- Senior PC member, AAAI'06, Boston, MA, 2006
- First International Workshop on Mediation in Semantic Web Services, Amsterdam, December 2005 (MEDIATE 2005)
- PC member of the 3rd International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2005), Norway 2005
- PC member of the EEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT 2005), France
- Program Committee Member of the 4thInternational Semantic Web Conference (ISWC2005), 2004
- PC member of the International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE'05), Cyprus, Nov 2005
- Program Committee of the 3rd German Conference on Multiagent Systems Technologies (MATES 2005), Koblenz, Germany 2005
- Program Committee member of the European Semantic Web Conference (ESWC 2005), 2005
- Program Committee member of the Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05), Paris, 2005
- Program Committee member of contextual Reasoning workshop at Context 2005, Paris, 2005
- Program Committee member of WWW 2005, Semantic Web track
- Distinguished Expert in the Program Committee Member of the 2nd International Workshop on Databases, Information Systems and Peer-to-Peer Computing at VLDB 2004 30 August - 3 September 2004, Toronto, Canada
- Program Committee Member of the Workshop on Semantic Intelligent Middleware for Interoperable Systems (SIMIS) at ECAI 2004 August 22-27, 2004, Valencia, Spain
- Program Committee Member of the The First International Workshop on Peer-to-Peer Knowledge Management (P2PKM) August 22, 2004, Boston, Massachusetts, USA
- Program Committee Member of the Workshop on Peer-to-Peer Information Retrieval (SIGIR 2004) July 29, 2004, Sheffield, Germany
- Program Committee Member of the Third International Semantic Web Conference (ISWC2004), Hiroshima, 2004
- Program Committee Member of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004
- Distinguished expert in the Program Committee of the 8th International Workshop on Cooperative Information Agents (CIA 2004), 2004
- Senior Program Committee member International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), New York, 2004
- Program Committee Member of the International Workshop on Databases, Information Systems and Peer-to-Peer Computing, Berlin, Germany, September 8, 2003. Collocated with VLDB 2003
- Organizing Committee and Program Committee of the Ontologies and Distributed systems Workshop (IJCAI'03), 2003
- Program Committee Member of the 7th International Workshop on Cooperative Information Agents (CIA), 2003
- Program Committee member of the AAAI 2002 Workshop on Meaning Negotiation, Edmonton, Alberta, Canada, 2002.
- Program Committee member of JELIA'02 (Journées Européennes sur la Logique en Intelligence Artificielle), European Conference on Logics in Artificial Intelligence, University of Calabria (Rende - Cosenza), Italy, September 18-20, 2002.
- Organizing Committee member of FLoC’02, The 2002 Federated Logic Conference, Copenhagen, Denmark, 2002.
- Program Committee member of CADE-18, Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002
- Program Committee member of the The First International Joint Conference on Autonomous Agents & Multi-Agent Systems - AAMAS 2002. Bologna, Italy, July 2002.
- Program Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA-2002), August 2002.
- Program Committee member of the 2nd Int. Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002), Bad Salzau, Germany, February 19-23, 2002.
- Program Committee member of the Joint German/Austrian Conference on Artificial Intelligence (KI 2001), Vienna, September 19-21, 2001.
- Program Committee member of the First IEEE Workshop on Safety Critical Electronic Systems, Austin, Texas, 29-31 August, 2001.
- Program Committee member of the IJCAR Workshop on Future Directions in Automated Reasoning, Siena, Italy, June 2001.
- Program Committee member of the IJCAR Workshop on Issues in the Design and Experimental Evaluation of, Systems for Modal and Temporal Logics, Siena, Italy, June 2001.
- Program Committee member of the First Workshop on Contexts in Logics, Dundee (UK), July 30, 2001.
- Program Committee member of the AmEC 2000, Agent-mediated Electronic Commerce.
- Program Committee member of the AIPS 2000 Workshop on Model-Theoretic Approaches to Planning (Workshop co-organizer Program Committee member).
- Program Committee member of the FORTE/PSTV 2000, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, Pisa, Italy, October 2000.
- Program Committee member of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS), 2000
- Program Committee member of the AgentLink and Compulog Joint Workshop on the Future of Logic-based Agents, 1999.
- Program Committee member of the 4th IFCIS Conference on Cooperative Information Systems (CoopIS), 1999
- Program Committee member of the International Workshop on Symbolic Model Checking, 1999
- Program Committee member of the FLoC’99 Workshop on Run-Time Result Verification, 1999
- Program Committee member of the International Symposium CALCULEMUS Systems for Integrated Computation and Deduction, 1998, 1999
- Organizer and Program Committee member of the FLoC99 Workshop on Automation of Proofs by Mathematical Induction, 1999
- Program Committee member of the 4th Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems, 1999.
- Program Committee member of the International Workshop on First Order Theorem Proving (FTP), 1998
- Program Committee member of the International Conference on Artificial Intelligence and Symbolic Computation (AISC), 1998, 2000
- Chair Local Organizing Committee Conference on Knowledge Representation and Reasoning (KR&R ‘98). Trento, Italy, June 1998.
- Member of the Organizing Committee of the International Workshop on Current Trends in Applied Formal Methods, 1998
- Program Committee member of the Tenth International IFIP Conference on "The Globalization of Manufacturing in the Digital Communications Era of the 21st Century: Innovation, Agility and the Virtual Enterprise" (PROLAMAT), 1998
- Program Committee member of the International Conference on Multi-Agent Systems (ICMAS) 1998, 2000
- Program Committee member of the International Workshop on Tools and Algorithms for the Constructions and Analysis of Systems (TACAS) 1998, 1999, 2000
- Organizing Committee member of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, 1997.
- Program Committee member of the Workshop of Context - European Conference on Cognitive Science (ECCS) 1997
- Program Committee member of the Conference of American Association for Artificial Intelligence (AAAI) 1996
- Program Committee member of the International Workshop on Agent Theories, Architectures, and Languages (ATAL) 1995, 1996, 1997, 1998, 1999
- Program Committee member of the Conference of the Italian Association for Artificial Intelligence (AI*IA) 1995, 1999
- Program Committee member of the International Joint Conference on Artificial Intelligence (IJCAI) 1995
- Program Committee member of the Conference on Knowledge Representation and Reasoning (KR&R) 1995
- Program Committee member of the Conference on Automated Deduction, (CADE) 1994, 1996, 1997, 1998
- Program Committee member of the European Conference on Artificial Intelligence (ECAI) 1994, 1998
- Program Committee member of the Symposium on Abstraction, Reformulation and Approximation (SARA) 1992, 1994,1995 (the 1992, 1994, editions had slightly different names)