WS-FM: Web Services and Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2014 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
WS-FM 2013 10th International Workshop on Web Services and Formal Methods (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing
Aug 29, 2013 - Aug 29, 2013 Beijing, China Jun 2, 2013 (May 24, 2013)
WS-FM 2012 9th International Workshop on Web Services and Formal Methods
Sep 6, 2012 - Sep 7, 2012 Tallinn, Estonia Jun 9, 2012 (Jun 2, 2012)
WS-FM 2011 8th International Workshop on Web Services and Formal Methods
Sep 1, 2011 - Sep 2, 2011 Clermont-Ferrand, France Jun 12, 2011 (Jun 5, 2011)
 
 

Present CFP : 2013

Apologies for cross-posting.


* WS-FM 2013: Second Call for Papers *

==============================================================
10th International Workshop on Web Services and Formal Methods
Formal Aspects of Service-Oriented and Cloud Computing

August 29-30, 2013
Beijing, China

http://www.cs.le.ac.uk/events/wsfm2013

*** HIGHLIGHTS ***

- Invited speakers: We are honoured to announce that

Prof Jianwen Su, Department of Computer Science, U C Santa Barbara
http://www.cs.ucsb.edu/~su/

and

Dr Weicheng Huang, National Center for High-Performance Computing, Taiwan
http://www2.nchc.org.tw/~c00wei00/

will give two keynote speeches at WS-FM 2013

- Special issue: depending on the quality of the submissions, we will
explore the possibility of having a special issue on a journal
indexed some of the main bibliographic.

- Deadline for abstract submission approaching (17/05/2013)

- Special focus: Cloud Computing


Important Dates:
--------------------------------------------------------------
Abstract Submission: May 17, 2013
Paper Submission: May 24, 2013
Author Notification: July 10, 2013
Camera-ready copy: July 24, 2013
--------------------------------------------------------------


Service-Oriented Computing (SOC) provides standard mechanisms and protocols for describing, locating and invoking services over the Internet. The many existing SOC infrastructures that support specification of service interfaces, access policies, behaviors and compositions are paralleled by several active research areas such as the support and management of interactions with stateful and long-running services, large farms of services, and quality of service delivery.

Cloud computing provides a new paradigm of distributed computation based on virtualization. Such paradigm promotes abstractions centred on services (Software as a Service, Platform as a Service, Infrastructure as a Service) and envisages novel distributed middlewares for service delivery. Cloud computing enables the development of services amenable to be configured according to clients' requirements and/or service level guarantee mechanisms.

The convergence of SOC and cloud computing is accelerating the adoption of technologies from both areas, making the service dependability and trustworthiness a crucial and urgent problem. In this context, formal methods can play a fundamental role. They can help us to define unambiguous semantics for the languages and protocols that underpin existing Web service infrastructures, and provide a basis for checking the conformance and compliance of bundled services. They can also empower dynamic discovery and binding with compatibility checks against behavioral properties and quality of service requirements. Formal analysis of security properties and performance is essential in cloud computing and in application areas including e-science, e-commerce, workflow, business process management, etc. Moreover, the challenges raised by this new area can offer opportunities for extending the state of the art in formal techniques.

The aim of the WS-FM workshop series is to bring together researchers and practitioners interested in SOC, cloud computing, and formal methods in order to catalyze fruitful collaboration. The scope of the workshop is not only limited to technological aspects. In fact, the WS-FM series has a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this could have a significant impact on the ongoing standardization efforts for SOC and cloud computing technologies.

WS-FM 2013 will be held in Beijing Xijiao Hotel on August 29-30, 2013. It will be co-located with the 11th International Conference on Business Process Management (BPM 2013) http://bpm2013.tsinghua.edu.cn/.

TOPICS OF INTEREST

Main topics of interest include (but are not limited to):

• Formal foundations of services and clouds
• Security, trust, QoS, dependability, and privacy in services and clouds
• Contracts, types, and logics in services and clouds
• Coordination and transactions for services and clouds
• Multi-tenancy, adaptability and evolvability in the cloud
• Verification, analysis, and testing of services/clouds
• Innovative application scenarios for services/clouds
• Standards and technologies for service-oriented and cloud computing
• Ontologies and semantic descriptions for services and clouds
• Semi-structured data management and XML technology
• Services and clouds for business process management
• Enterprise modeling and business process modeling
• Data services and data-centric process modeling
• Case studies on formal methods in service-oriented and cloud applications
• Case studies on formal methods in business process management

SUBMISSION GUIDELINES

Submissions must be original and should not have been published previously nor be under consideration for publication while being evaluated for this workshop. All papers must be submitted at the following submission site, handled by EasyChair,

https://www.easychair.org/conferences/?conf=wsfm2013

using the Springer LNCS style. Papers should not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. We expect to publish the post-workshop proceedings shortly after the workshop as a volume in Springer's Lecture Notes in Computer Science (LNCS).


IMPORTANT DATES

Abstract Submission: May 17, 2013
Paper Submission: May 24, 2013
Author Notification: July 10, 2013
Camera-ready copy: July 24, 2013

PROGRAM COMMITTEE

Marco Aldinucci, University of Turin, Italy
Massimo Bartoletti, University of Cagliari, Italy
Laura Bocchi, University of Leicester, United Kingdom
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
Schahram Dustdar, TU Wien, Austria
José Luiz Fiadeiro, Royal Holloway (UoL), United Kingdom
Roberto Guanciale, School of Computer Science and Communication, KTH, Sweden
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Alberto Lluch-Lafuente, IMT, Lucca, Italy
Hernan Melgratti, University of Buenos Aires, Argentina
Chun Ouyang (co-chair), Queensland University of Technology, Australia
Artem Polyvyanyy, Queensland Univ. of Technology, Australia
Antonio Ravara, Faculdade de Ciências e Tecnologia, Portugal
Jianwen Su, University of California at Santa Barbara, USA
Maurice ter Beek, Istituto di Scienza e Tecnologie dell'Informazione - CNR, Pisa, IT
Emilio Tuosto (co-chair), University of Leicester, United Kingdom
Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Hugo Vieira, University of Lisbon, Portugal
Karsten Wolf, Universität Rostock, Rostock, Germany
Gianluigi Zavattaro, University of Bologna, Italy

STEERING COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, University of Leicester, UK
Gianluigi Zavattaro, University of Bologna, Italy


WEBMASTERS

Julien Lange, University of Leicester
Kyriakos Poyias, University of Leicester
 

Related Resources

FM 2016   21st International Symposium on Formal Methods
iThings 2016   The 9th IEEE International Conference on Internet of Things
NFM 2017   The 9th NASA Formal Methods Symposium
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
GreenCom 2016   The 12th IEEE International Conference on Green Computing and Communications
FSEN 2017   Fundamentals of Software Engineering
WWW 2017   The 26th World Wide Web Conference
SmartData 2016   The 2016 IEEE International Symposium on Smart Data
WEBIST 2017   13th International Conference on Web Information Systems and Technologies