This January, members of the BEHAPI team will be attending and organising a workshop on behavioural types, BEAT. Colocated with POPL, BEAT 2019 aims to enable a growing community to meet, present and discuss current work, and to foster (new) collaborations.

More information about the workshop can be found here.

 

Leave a Reply