[TYPES/announce] CfP for the International Workshop on Aliasing, Capabilities and Ownership

[Aleksander Boruch-Gruszecki]

The CfP for the International Workshop on Aliasing, Capabilities and 
Ownership is out: 
https://urldefense.com/v3/__https://2023.splashcon.org/home/iwaco-2023*Call-for-Papers__;Iw!!IBzWLUs!VVCbUT6p1-Qk5nCra5LU8maQ9kbaZ4g3ryskdjhP6n9FxzZUORqqdkB4YF-BDVzn71xkU4hGMfetO8XGK_n1C7RhCRW_jbd5QiHqRxPCHio$ .

We accept long and short papers, including ones that describe 
work-in-progress and novel ideas. If you have a type system with 
borrowing or an insight on using CHERI capabilities or maybe a 
completely novel ownership model and you're looking to present it an 
audience with similar interests, then IWACO is the ideal venue for you!

You're welcome to submit until July 12th.

Looking forward to hearing from you,
Aleksander Boruch-Gruszecki