Themes
The workshop themes revolve around component interaction: how to describe behaviour in a way that supports composition, how to define compatibility and refinement between interacting components, and how to connect those ideas to feasible analysis workflows.
The emphasis on this site is readability and navigation. Rather than duplicating full call documents, this page highlights the main ideas and links to internal notes and hubs that provide background.
How to participate (high-level)
- Describe the behavioural coreExplain the interaction pattern or coordination problem clearly.
- State the modelling choiceOperational rules, protocols, contracts, or other behavioural descriptions.
- Explain the propertySafety, liveness, compatibility, or refinement objectives.
- Connect to a workflowHow the idea supports checks, tooling, or repeatable analysis.
Canonical call page
- ICE 2011 call pageThe call overview used by the workshop hub.