Archive of the COST Action IC1201 (BETTY) Websites
COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY)
First International Summer School on Behavioural Types
Second International Summer School on Behavioural Types
BEAT 2 Workshop
BEAT 2014 Workshop
The bt-eu email list
The email list bt-eu@dcs.gla.ac.uk is intended for discussion and announcements related to behavioural types. You can subscribe to the list at the
list management page
.