Ivan Arcushin (who is doing his secondment in Leicester from UBA), Jose’ Rojas, and Emilio Tuosto just had a very exiting meeting with Fiona, Ian, and Neil from Xibis about

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,