Paolo Traverso
Director
FBK, Center for Information Technology - IRST
Povo, Via Sommarive 18
I-38123 Trento
Phone: +39 0461 314 327
Mobile: +39 335 18 30 236
traverso at fbk.eu

Keynote speaker at:

• The 3rd Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'09). Stockholm, Sweden, 23rd November 2009. Title: "Towards a Future Internet of Services".
• ICAPS 2009 Workshop on "Generalized Planning: Macros, Loops, Domain Control". Thessaloniki (Greece), September 2009. Title: "When Planning for Generalized Plans is a Must: The Case of Software Service Composition & Monitoring".
• I-KNOW'09, 9th International Conference on Knowledge Management and Knowledge Technologies. Graz (Austria), 2-4 September 2009. Title: "Towards a Future Internet of Services and Content".
• First Malaysian Conference on Semantic Technology and Knowledge Engineering Conference (STAKE 2009). July 20-21, Kuala Lumpur, Malaysia. Title: "Software Services, Semantics and ... Internet".
• 2nd IEEE Int. Workshop on Requirements Engineering For Services (REFS), to be held in conjunction with COMPSAC'08 - The 32nd IEEE Conference on Software and Applications, in Turku, Finland, July 28- August 1, 2008. Title: "Service Oriented Sofyware: From Requirements to Design Time Composition and to Run Time Monitoring".
• IEEE Int. Conference on Software Maintenance (IEEE ICSM) 2007, Paris, France. Title: "Agree or Change! Making Services Evolve".
• Spanish Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2007, Salamanca, Spain. Title: "Artificial Intelligence for Web Services: Myths and Reality"
• ICSOC PhD Symposium 2007, September, Vienna, Austria. Title: "Service-oriented Computing from Design-time to Run-time: Some Research Challenges"
• International Workshop on Automated Specification and Verification of Web Sites, Venice, December, 2007. Title: "Design-time and Run-time Analysis of Web Service Compositions"
• International Workshop on Semantic Data and Service Integration (SDSI 2007), Vienna, Austria, September 2007, in conjunction with VLDB 2007 - International Conference on Very Large Data Bases. Title: "Service Integration".
• International Workshop on Service Oriented Software Engineering (IW-SOSE '06). May 27-28, 2006, Shanghai " China. Title: "Supporting the Composition of Distributed Business Processes"
• AAAI 2001 Spring Symposium on Model-based Validation of Intelligence, March 26-28, 2001. Stanford University, Stanford, California, USA. Talk Title: "Model Checking and Planning''
• European Space Research and Technology Centre (ESTEC) Workshop on On-Board Autonomy, 17th-19th October, 2001, Noordwijk, The Netherlands. Title: "Methods and Tools for Formal Software Verification and Autonomy Validation''
• IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information, August 6, 2001. Seattle, USA. Title: "Planning under Uncertainty by Model Checking''
• Informatics Jamboree, 23-25 May, 2001, Division of Informatics, University of Edinburgh. Title: "Planning as Model Checking''
• ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, 10th European Summer School in Logic, Language and Information, Saarbrueken, Germania, Agosto 17 - 28, 1998. Title: "Planning via Model Checking"