Conference · International Workshop on Aliasing, Capabilities and Ownership
IWACO 2026
Official page- Type
- Conference
- Organisation
- International Workshop on Aliasing, Capabilities and Ownership
- Location
- Oakland, California, United States
- Takes place
- 9 October 2026
- Found
- 26 September 2026
About this listing
International Workshop on Aliasing, Capabilities and Ownership. Held in Oakland, California, United States. Taming aliasing through ownership and capabilities: ownership types, capabilities, separation logic, and linear logic. Held with SPLASH 2026. Topics: type systems, programming languages, semantics, verification. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).