Formal Approaches to Web Services
Speaker:Dr. Zhu Huibiao
Software Engineering Institute
East China Normal University
Date & Time:12 Feb 2009 (Thursday) 11:00


This talk is divided into two parts. Firstly I will give brief introduction about the Highly Dependable Research at Software Engineering Institute, East China Normal University, including research teams, research directions and research grants. Secondly I will introduce our work about formal approaches to web services during these years, including semantics exploration and semantic linking.