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.