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

On 2nd March, 2018, BehAPI RISE project was officially launched in the kick off meeting in Malta, introducing the project itself as well as all site leaders. An address by