Skip to content. | Skip to navigation

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


You are here: Home / News / BEAT 2


The programme for the BEAT 2 workshop, organised by BETTY, is available here. The workshop will include original research papers, presentations of papers published elsewhere, talks on ongoing work by BETTY members, and an invited lecture by Dr Achim Brucker from SAP.