Overview
The ICE workshop series focuses on component-based engineering and the methods used to describe, compose, and reason about system behaviour. Topics typically include component interfaces, behavioural contracts, coordination models, and verification-friendly design.
Programme (outline)
The schedule below is a structured outline intended for navigation. Individual talk titles and supporting materials can be linked here as needed.
| Time | Session | Notes |
|---|---|---|
| 09:00 – 09:15 | Welcome Opening remarks and agenda |
Logistics |
| 09:15 – 10:30 | Session 1: Foundations Models, semantics, and 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 |
Organisation
Organisational details and roles can be listed here (chairs, programme committee, local arrangements).
- ProgrammeProgramme committee and review process
- ProceedingsLinks to hosted proceedings or publisher pages
- ContactUse the site contact address on the Bio page