Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / News / BETTY Summer School 2016

BETTY Summer School 2016

The call for participation in the BETTY Summer School 2016 has been sent out. The web site is summerschool2016.behavioural-types.eu

We are looking forward to a great week in Cyprus!