PROGRAM
Sunday, March 15, 2009
Afternoon [Introductory talks]
- 02:30 - 04:00: Renee J. Miller - Data and Metadata Alignment
- 04:00 - 04:30: Coffee break
- 04:30 - 06:00: Massimo Mecella - Concrete Services: the Hands-on of the Service Researchers
Monday, March 16, 2009
Morning [Introductory talks]
- 09:30 - 11:00: Timos Sellis - ETL Workflows: from Formal Specification to Optimization
- 11:00 - 11:30: Coffee break
- 11:30 - 13:00: Moshe Vardi - Program Synthesis and Service Composition
- 02:30 - 04:00: Data and Service composition (part I)
- Giuseppe De Giacomo - The Roman model for Service Composition
- Paolo Traverso - Service Composition and Planning
- 04:00 - 04:30: Coffee break
- 04:30 - 06:00: Data and Service Composition (part II)
- Marco Aiello - Automating Service Composition
- Phokion Kolaitis - Composition of Schema Mappings
Tuesday, March 17, 2009
Morning
- 09:30 - 11:00: Artifact-centric Workflow and Business Process Management
- Introduction to the Artifact-centric Workflows sessions by Jianwen Su
- Rick Hull - Artifact-centric Workflows
- 11:00 - 11:30: Coffee break
- 11:30 - 13:00: Artifact-centric Workflow and Business Process Management
- Terry Heath - Demo of the Siena prototype system
- Rick Hull - ArtiFact 0.1
- 02:30 - 03:45: Analysis of Artifact-centric Workflows
- Alin Deutsch - Analysis for Declarative Artifact-Centric Workflows
- Jianwen Su - Analysis for Alternative Artifact-Centric Workflows
- 03:45 - 04:15: Coffee break
- 04:15 - 05:00: Diego Calvanese - Expressive Power of Artifacts
- 05:00 - 06:00: Discussion topics on Artifact-Centric
- Jianwen Su - Discussion on modeling alternatives
- Alin Deutsch - Discussion on integrity constraints
Wednesday, March 18, 2009
Morning
- 09:30 - 11:00: Artifact-centric Workflows
- Marlon Dumas - Flexible Artifact-Centric Process Models
- Jianwen Su - Workflow synthesis
- 11:00 - 11:30: Coffee break
- 11:30 - 13:00: Discussion topics on Artifact-centric
- Diego Calvanese and Giuseppe De Giacomo - Discussion on Ontologies and Artifact-Centric
- Rick Hull - Discussion on Interoperation and Artifact-Centric
- Jianwen Su - Business Workflow Management Systems
- 02:30 - Excursion to Urbino
Thursday, March 19, 2009
Morning
- 09:30 - 10:15: Leonid Libkin - Databases and Verification
- 10:15 - 11:00: Discussion/Student presentations
- 11:00 - 11:30: Coffee break
- 11:30 - 12:15: Nicola Guarino - Ontological Foundations for Services Science
- 12:15 - 13:00: Guido Vetere - eGovernment Services in Italy: State of the Art and EvolutionaryPerspectives
- 02:30 - 03:15: Ugo Montanari - Dynamic Process/Service Composition/Combination
- 03:15 - 04:00: Riccardo Rosati - Actions and Programs over Description Logic Ontologies
- 04:00 - 04:30: Coffee break
- 04:30 - 06:00: Discussion/Student presentations
Friday, March 20, 2009
Morning
- 09:30 - 10:15: Schahram Dustdar - Towards Data Services
- 10:15 - 11:00: Gianluigi Greco - Pushing Intelligence into Workflow Systems
- 11:00 - 11:30: Coffee break
- 11:30 - 13:00: FInal discussion