WSFM/BEAT 2015 Deadline Approaching

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!