Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
Programme
FIT 2010
| August 30th, 2010 Paris, France (associated with CONCUR 2010) | organised and funded by ARTIST |
Programme
- 8:45. Opening.
- 9:00 to 9:30: Jean-Baptiste Raclet. "Establishing liabilities from
assume/guarantee contracts"
- 9:30 to 10:00: Rolf Hennicker, Sebastian Bauer and Stephan
Janisch. "Interface Theories for (A)synchronously Communicating Modal
I/O-Transition Systems"
- 10: to 10:30: Maria Grazia Buscemi and Hernan Melgratti. "Contracts for
Abstract Processes in Service Composition"
- 10:30 to 11:00: BREAK
- 11:00 to 12:00: Alexandre David. "Theory and Tool Compositional for
Design and Analysis of Real Time Systems"
- 12:00 to 13:45: Lunch.
- 13:45 to 14:30. Yassine Lakhnech. To be announced
- 14:30 to 15:00: Andrzej Wasowski. "Notes on Structural and Logical
Composition in Specification Theories"
- 15:00 to 15:30: Michael Mendler. "An Algebra of Synchronous Scheduling
Interfaces"
- 15:30 to 16:00: BREAK
- 16:30 to 17:30: Dirk Beyer. Protocol Interfaces.
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009