Members of the BehAPI team will be organising this workshop at the ETAPS conference in 2019.

This workshop will present ongoing research on behavioural types to assist the development of correct protocol-based systems in the large, by members of the project and by other researchers working in the area. The workshop shall be an open event with invited and selected talks. The main aim of the workshop is to foster the dissemination of work, facilitate discussions and enable new potential collaborations. As a result, there will only be a light selection mechanism without formal proceedings.

Please note the submission deadline of 31st January, 2019. Click here for the submission link.

More details about the event are found here.