Overview
The ICE workshop series focuses on component-based engineering and methods for describing, composing, and reasoning about system behaviour. A recurring challenge is bridging local reasoning (“this component is correct”) with global behaviour (“the composed system is correct”). Workshop topics therefore sit at the intersection of modelling (semantics and behavioural descriptions), interface theories (contracts and compatibility), and verification workflows (how to check properties efficiently).
This hub organises the material as a set of presentation pages and a call page. The presentation pages provide orientation and reading pointers into the site’s notes. If a thematic overview is useful, the Research hub and Projects hub provide additional context.
Programme (outline)
The schedule below is a navigation-friendly outline. Each presentation has a dedicated page with context and reading pointers.
| Time | Session | Notes |
|---|---|---|
| 09:00 – 09:15 | Welcome Opening remarks and agenda |
Logistics |
| 09:15 – 10:30 | Session 1: Foundations Models, semantics, compositional reasoning |
Talks + discussion |
| 11:00 – 12:15 | Session 2: Tooling Analysis pipelines and practical verification |
Demonstrations |
| 13:30 – 14:45 | Session 3: Case studies Real systems and design trade-offs |
Experience reports |
| 15:15 – 16:15 | Panel / open problems Where models meet practice |
Roundtable |
| 16:15 – 16:30 | Closing Summary and next steps |
Wrap-up |
Presentations
Dedicated pages for each presentation.
- Prakash PanangadenContext and related reading.
- Tom HirschowitzContext and related reading.
- Vincenzo CianciaContext and related reading.
- Andrei DormanContext and related reading.
- Luca PadovaniContext and related reading.
- Rocco De NicolaContext and related reading.
- Ilias GarnierContext and related reading.
- Sung-Shik JongmansContext and related reading.
- Simon GayContext and related reading.
- Julien LangeContext and related reading.
- Massimo BartolettiContext and related reading.
Calls
- ICE 2011 call overviewThemes, participation guidance, and how to navigate related pages.
- ICE 10 call overviewA compact landing page for legacy call documents.
- ICE 11 call overviewA compact landing page for legacy call documents.
Organisation
This page focuses on navigable content: scope, programme outline, and presentation pages. Organisational roles are kept at a high level.
- Committee and organisersRoles for programme selection, session chairs, and coordination
- ProceedingsPublication logistics and publisher coordination
- Site contactFor enquiries about this site and its pages, use /contact/