Formal Methods for Web Services, Advanced Lectures