The long awaited summer school in Leicester has come and gone, starting last Monday 8th July and finishing on Friday 12th July as planned. It was deemed a great success by

Last Friday, 5th July, members of the consortium had the mid term meeting, as required of all RISE projects, while joined by the EU commissioner Simona Losmanova. Members of the

A number of members of the project, Mario Bravetti, Marco Carbone, Julien Lange, and Gianluigi Zavattaro, along with Nobuko Yoshida, have recently published a paper on asynchronous session subtyping at Concur 2019.

Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about Mechanising Proofs for Behavioural Types

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,

A one-week summer school and bootcamp will be organised by the University of Leicester next summer, from the 8th July to the 12th July. The school will feature theoretical and

Members of the BEHAPI team will be organising this workshop at ETAPS 2019. PLACES aims to offer a forum where researchers from different fields exchange new ideas on one of

Members of the BehAPI team will be organising this workshop at the ETAPS conference in 2019. This workshop will present ongoing research on behavioural types to assist the development of