Skip to content. | Skip to navigation

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


You are here: Home / News / WS-FM and BEAT combine for 2015

WS-FM and BEAT combine for 2015

A new conference has been produced by combining WS-FM (International Workshop on Web Services and Formal Methods) and BEAT (International Workshop on Behavioural Types). The BEAT workshop series has previously been organised by BETTY.

The First International Symposium on Web Services, Formal Methods and Behavioural Types will be co-located with CONCUR 2015 in Madrid, Spain. 

António Ravara, vice-chair of BETTY, is co-chairing the programme committee with Jan Martijn van der Werf.