Skip to content. | Skip to navigation

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


You are here: Home / News / Invited talk at the TYPES conference

Invited talk at the TYPES conference

The Chair of BETTY, Simon Gay, gave an invited talk at the TYPES conference in Novi Sad, Serbia, on 26th May 2016. The title was "Session Types: Achievements and Challenges", and the talk was an opportunity to make connections between BETTY and the new COST Action, EU Types, which has bee established by the TYPES community.