Scope and themes
The ICE workshop theme is centred on interaction and composition in component-based systems. The core question is how to describe and reason about global behaviour when a system is built from independently designed parts. Useful approaches include behavioural interfaces, contracts, coordination models, and verification workflows.
This landing page keeps the themes in a form that is easy to link: it does not aim to replicate full call documents, but instead provides a navigable summary and internal reading pointers.
Submission and participation guidance
- Focus on interactionMake communication and composition explicit in the problem statement.
- Clarify the modelState what “behaviour” means: transitions, traces, protocols, or operational rules.
- State propertiesSafety, liveness, compatibility, or refinement objectives.
- Connect to workflowExplain how the idea supports feasible checks or analysis pipelines.
Related pages (internal)
- ICE 2011 workshop hubProgramme outline and presentation pages.
- Research hubThemes and methodology.
- NotesCompact refreshers used throughout the site.