Behavioural Types Workshop: Participants