ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.