Update 25/6/2015: Changed the dates.
This year, the Workshop on Web Services and Formal Methods (WS-FM) and the Workshop on Behavioural Types have joined forces, forming the International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015). Check out the website of WSFM-BEAT 2015.
The submission deadlines are approaching:
- Submission of abstracts: Wednesday 1 July 2015.
- Submission of papers: Friday 3 July 2015.
Paper submission is open. Please consider submitting your papers!