BEAT 2013: 22nd January 2013
BEAT 2013 (1st International Workshop on Behavioural Types) was organised as an event for the BETTY community, although as it took place before the beginning of the first BETTY budget period, it was not BETTY-funded. BEAT 2013 was an affiliated workshop of POPL 2013 in Rome.
The BEAT 2013 web site contains full details of the workshop.
COST is supported by the EU Framework Programme Horizon 2020