The following workshop has been organized in order to disseminate the results of the project:

4th International Workshop on AI for Service Composition AISC 2006
Held in conjunction with ECAI 2006
Riva del Garda, Trento, Italy
August 28 - September 1, 2006

During the workshop, several results of the KLASE project have been presented, intermixed with presentation of other contributions from Italian and European projects in the area. The contributions presented in the workshop have been selected by an international organizing committee which has involved top-level international researches active in the areas of Web services and AI.

Other relevant events, co-organized by the participants of the project, are listed in the following.

Events 2006

Sercomp 2006

2nd International Workshop on Service Composition (SERCOMP 2006), held in conjunction with WI 2006. Hong Kong, December 18, 2006.

ICSOC 2006

4th International Conference on Service Oriented Computing (ICSOC 2006). Chicago, USA, December 4-7, 2006.

AISC 2006

4th International Workshop on AI for Service Composition (AISC 2006), held in conjunction with ECAI 2006. Riva del Garda, Trento, Italy, August 28 - September 1, 2006.

S&L 2006

Search and Logic: Answer Set Programming and SAT (S&L 2006), held in conjunction with ICLP 2006. Seattle, Washington, USA, August 16, 2006.

Events 2005

ICSOC 2005

3rd International Conference on Service Oriented Computing (ICSOC 2005). Amsterdam, The Netherlands, December 12-15, 2005.

QCP 2005

First International Workshop on Quantification in Constraint Programming (QCP 2005), held in conjunction with CP 2005. Barcelona, Spain, October 1, 2005.

WSCOMPS 2005

WWW Service Composition with Semantic Web Services (WSCOMPS 2005). Compiegne, France, September 19, 2005.

AISC 2005

AAAI'05 Workshop on Exploring Planning and Scheduling for Web Services, Grid and Autonomic Computing. Pittsburgh, Pennsylvania (USA), July 9-10, 2005.

Events 2004

ICSOC 2004

2nd International Conference on Service Oriented Computing (ICSOC 2004). New York City, NY, USA, November 15-18, 2004.

AISC 2004

ICAPS'04 Workshop on Planning and Scheduling for Web and Grid Services. Whistler, British Columbia, Canada, June 3-7, 2004.

Events 2003

ICSOC 2003

1st International Conference on Service Oriented Computing (ICSOC 2003). Trento, Italy, December 15-18, 2003.

TABLEAUX 2003

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2003). Roma, Italy, September 9-12, 2003.

AISC 2003

ICAPS'03 Workshop on "Planning for Web Services". Trento, Italy, June 10, 2003

ICAPS 2003

13th International Conference on Automated Planning and Scheduling (ICAPS 2003). Trento, Italy, June 9-13, 2003.

Planning under Uncertainty and Incomplete Information

ICAPS'03 Workshop on "Planning under Uncertainty and Incomplete Information". Trento, Italy, June 9, 2003.

SAT 2003

Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003). S. Margherita Ligure - Portofino, Italy, May 5-8, 2003.

Events 2002

AOSE 2002

Third International Workshop on Agent-Oriented Software Engineering (AOSE 2002). Bologna, Italy, July 15, 2002

AIPS 2002

Sixth International Conference on AI Planning & Scheduling (AIPS 2002). Toulouse, France, 23-27 April, 2002.

KR 2002

Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002). Toulouse, France, April 22-25, 2002.

FROCOS 2002

4th International Workshop on Frontiers of Combining Systems (FroCoS 2002). Santa Margherita Ligure, Italy, April 8-10, 2002.

Homepage

Research

Results

Partners

Events

Contacts