| 9:00-9:15 | Opening + summary of expected outcome of FLACOS | Gerardo Schneider |
| 9:15-9:45 | Contract-Oriented Software Development for Internet Services - Where is the project now? | Anders P. Ravn |
| 9:45-10:15 | Specification and analysis of electronic contracts in CL | Gerardo Schneider (joint work with Cristian Prisacariu and Gordon Pace) |
| 10:15-10:45 | COFFEE BREAK | |
| 10:45-11:15 | Contracts in the Swedish Crisis Management System | Björn Bjurling |
| 11:15-11:45 | CREOL as a Framework for Service-Oriented Architectures | Martin Steffen |
| 11:45-12:15 | Classification of SOA Contract Specification Languages | Joseph Okika |
| 12:15-13:15 | LUNCH BREAK | |
| 13:15-14:00 | A Tool for the Design and Verification of Composite Web | Emilia Cambronero Piqueras (joint work with G. Diaz, V. Valero, and E. MartÃinez |
| 14:00-14:45 | Security-By-Contract for the Future Internet? | Fabio Massacci (joint work with F. Piessens and I. Siahaan) |
| 14:45-15:30 | Cc-Pi: A Constraint-Based Language for Contracts with Service Level Agreements | Ugo Montanari (joint work with M.G. Buscemi) |
| 15:30-16:00 | COFFEE BREAK | |
| 16:00-16:45 | Service Oriented Architectures: The New Software Paradigm | Wolfgang Reisig |
| 16:45-17:30 | A Contract-Oriented View on Threat Modelling | Ketil Stølen (joint work with O.S. Ligaarden) |
| Treaty - A Modular Component Contract Language (poster) | Jens Dietrich, Graham Jenson |
| 20:00 | DINNER | |
| 9:00-9:45 | Towards Verifying Contract Regulated Service Composition | Alessio Lomuscio (joint work with H. Qu and M. Solanki) |
| 9:45-10:30 | Increasing Trust in Public Service Delivery - Contract-Based Software Infrastructure for Electronic Government | Tomasz Janowski (joint work with A.Ojo) |
| 10:30-11:00 | COFFEE BREAK | |
| 11:00-11:45 | Permission to Speak: An Access Control Logic | Oleg Sokolsky (joint work with N. Dinesh, A. Joshi, and I. Lee) |
| 11:45-12:30 | Integrating Contract-based Security Monitors in the Software Development Life Cycle | Isabelle Simplot-Ryl (joint work with A.M. Hoole and I. Traore) |
| 12:30-13:30 | LUNCH BREAK | |
| 13:30-14:00 | Service Contracts in a Secure Middleware for Embedded Peer-to-Peer Systems | Antonio Brogi, F. Benigni, S. Corfini, T. Fuentes |
| 14:00-14:15 | Conflict detection in deontic contracts | Stephen Fenech, Gordon Pace, Gerardo Schneider |
| 14:15-14:30 | Runtime Verification of Deontic Contracts | Christian Colombo, Stephen Fenech, Gordon Pace, Gerardo Schneider |
| 14:30-15:00 | COFFEE BREAK | |
| 15:00-15:30 | An Aspect-Oriented Behavioral Interface Specification Language | Takuo Watanabe, Kiyoshi Yamada |
| 15:30-16:00 | Contract-Based Verification of Hierarchical Systems of Components | Sophie Quinton, Susanne Graf |
| 16:00-17:30 | DISCUSSION | |
| 20:00 | DINNER | |