AMP – Asynchronous Programming Models Workshop (Torino/IT)
Ferruccio Damiani is hosting this year’s Asynchronous Programming Models workshop in Torino!
All things around active objects from PhD students, post-docs and faculty, with plenty of room for discussions and figuring out where to go next and making new collaborations.
Asynchronous Multiparty Sessions with Internal Delegation
Global Types for Agent Interaction Protocols
Proving Correctness of Parallel Implementations of Transition System Models. This is the outcome of a multi-year research effort, finally paying off only recently in a TOPLAS-publication. Head over to Einar's or Violet's site for the preprint.
Unfortunately I missed a session and wasn’t always in a good spot to take photos.