Apr
6
Sat
2019
BehAPI 2019 @ Orea Hotel Pyramida
Apr 6 @ 9:00 am – Apr 11 @ 6:00 pm

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.

 

PLACES 2019 @ Orea Hotel Pyramida
Apr 6 @ 9:00 am – Apr 11 @ 6:00 pm

PLACES aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming: the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern.