CALL FOR PAPERS IEEE 2012 Second International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2012)One day between June 24-29 2012, Hyatt Regency Waikiki Resort and Spa, Honolulu, Hawaii, USAwithin IEEE SERVICES 2012DescriptionPresently, emerging paradigm of cloud computing provides a new service delivery platform. One of the latest challenges is how to work with service computing in a cloud computing environment. Meanwhile, the convergence of service computing and cloud computing is becoming a major driving force for the adoption of both of these technologies.It has been great advances in formal methods research via tool support and industrial best practice, and their role in a variety of industries, domains, and in certification and assurance. Also, formal methods can play a fundamental and important role in service computing and cloud computing. Currently, some many formal methods have been applying into the modeling, interoperability, dependability and trustworthiness etc.. For example, how to formally describe and define the syntactic, semantic and behavioral aspects of Web/cloud service; how to formally analyze and verify security properties and performance in services computing and cloud computing; how to provide a basis for checking the substitutability, compatibility and equality of Web/cloud services; how to empower dynamic discovery, composing and binding Web/cloud services. Moreover, the challenges raised by this area can offer opportunities for extending the state of the art in formal techniques. Potentially, this could have a significant impact on the on-going standardization efforts for services and cloud technologies.FM-S&C2011 was held in Washington DC, as part of the Seventh IEEE World Congress on Services (SERVICES 2011), in conjunction with IEEE SCC/ICWS 2011, attracting around 15 attendants including 5 presenters and a dozen of submissions. The aim of FM-S&C2012 is to encourage academic researchers and industry practitioners to present and discuss all formal analysis, modeling and verification related to research and experiences in a broad spectrum of services and cloud computing.List of topicsAdaptability and Evolvability in service-oriented/cloud applicationsFormal analysis and design of service-oriented/cloud applicationSubstitutability, compatibility and equality of Web/cloud servicesFormal aspects in dynamic reconfiguration of service-oriented application in the cloudsService-oriented/cloud business process modeling and change managementValidation, verification and testing of service-oriented softwareFormal aspects in Performance and quality of Web services/cloudsFormal aspects in Web/cloud service coordination and transactionFormally syntactic, ontologies, semantic and behavioral description of Web services and cloudsDiscovery matchmaking, and composition of Web services using logic/AI planning/Petri-net/etc.Complex event processing in service-oriented and clouds applicationTypes and logics for Web services/cloudsData centric cloud services modelingFormal aspects in Parallel servicesTheoretical foundations for services computing and cloud computing: all aspects of theory related to specification, verification, refinement, and static analysis.Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems.Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools.Important dates(Workshop chairs can grant extension to individuals under special circumstances provided that the hard deadline for the camera-ready version is respected.)Full Paper Submission Due Date: March 15, 2012Decision Notification (Electronic): April 20, 2012Camera-Ready Copy Due Date & Pre-registration Due: May 1, 2012Paper submissionAuthors are invited to submit full papers (about 8 pages) or short papers (about 4 pages) as per IEEE 8.5 x 11 manuscript guidelines (http://www.computer.org/cspress/instruct.htm). All papers should be in PDF and submitted via at the submission systemFirst time users need to register with the system first. All the accepted papers by the workshops will be included in the Proceedings of the Seventh IEEE 2012 World Congress on Services (SERVICES 2012) which will be published by IEEE Computer Society.Workshop chairsZhaoHui Luo, Professor, University of London, England, email@example.comGuoray Cai, Associate Professor, Penn State University, USA, firstname.lastname@example.orgJian Wan, Professor , HangZhou DianZi University, China, email@example.comProgram committeeJia Zhang(Northern Illinois University, USA)JianWei Yin (ZheJiang University, China)Yi Wang (Macquarie University, Australia)HuiYuan Zheng (Macquarie University, Australia)Jingyu Zhang (University of Sydney, Australia)Qin Wu(Hangzhou Dianzi University, China)Li Ying (ZheJiang University, China)Shuiguang Deng(ZheJiang University, China)Li Kuang(Hangzhou Normal University, China)YuYu Yin(Hangzhou Dianzi University, China)JiLin Zhang(Hangzhou Dianzi University, China)ZuJie Ren(Hangzhou Dianzi University, China)Peng Di(The University of New South Wales, Australia)XiaoFei Zhang(The Hong Kong University of Science & Technology, China)Workshop Organizers Short BioProf. Zhaohui Luo is Professor of Computer Science at University of London. His research interests includes: Logic--type theory, proof theory, computer-assisted formal reasoning. Language--advanced programming, mathematical vernacular, linguistic semantics. Software engineering--specification languages, system verification, formal methods.Dr. Guoray Cai is an Associate Professor of Information Sciences and Technology at Penn State University, with affiliate appointments in Geography as well as in Computer Science and Engineering. He is the founding director of the Spatial Information and Intelligence Laboratory, which is housed in the College of IST. He is also a member of GeoVISTA center and Center for Human-Computer Interaction. Dr. Cai conducts research in the areas of information retrieval, geographical information science, human-computer interaction and communication, and visual mediation of collaborative work. He has published papers in the international journals such as Proceedings of IEEE, International Journal of Geographical Information Science, Transactions in GIS, Geoinformatics, Environment and Planning B, and international journal of NETWORKS. He is a member of ACM, IEEE, and ASPRS.Prof. Jian Wan is a professor of Computer Science and technology and the dean of the school of Computer Science and Technology at Hangzhou Dianzi University. His research area focuses on Cloud Computing, Services Computing and Embedded Systems, etc.Back to IEEE SERVICES 2012 or the main workshop. Also refer to the submission page for more detail.
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor. Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.