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.
COST is supported by the EU Framework Programme Horizon 2020