[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
