When:
April 6, 2019 @ 7:00 am – April 11, 2019 @ 4:00 pm UTC Timezone
2019-04-06T07:00:00+00:00
2019-04-11T16:00:00+00:00
Where:
Orea Hotel Pyramida
Bělohorská 125/24
169 00 Praha 6-Břevnov
Czechia
Contact:
Adrian Francalanza

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.

 

Leave a Reply