The workshop will present ongoing research on behavioural types to assist the development of correct protocol-based systems, by members of the project and by other researchers working on the topic. The workshop shall be an open event with invited and selected talks. There will be a light selection mechanism, since there will be no proceedings - the aim is to foster the dissemination of work, facilitate discussions and enable new potential collaborations.
Call for Papers
This is a placeholder text.
You can expect more information about the call for papers soon.
This page will have information about the submission and selection process and list the important dates.