Skip to content. | Skip to navigation

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


You are here: Home / Events / BEAT 2013: 22nd January 2013

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.