[TYPES/announce] WS-FM:FASOCC 2014 CFP - Sept 11-12, 2014, Haifa, Israel

[Thomas Hildebrandt]

#####################################################################

CALL FOR PAPERS

WS-FM:FASOCC 2014

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

September 11-12, 2014, Haifa, Israel

http://wsfm2014.haifa.ac.il/

#####################################################################

Service-Oriented Computing (SOC) has been established as a major paradigm for system development, revolving around functional and autonomous building blocks that are available over the Internet and independent of platforms and programming languages. To support the SOC paradigm, infrastructures provide standard mechanisms and protocols for describing, locating and invoking services.

Cloud computing has seen a remarkable uptake and facilitates distributed computing based on virtualization. Here, abstractions centred on services, such as Software as a Service, Platform as a Service, and Infrastructure as a Service, enable dynamic sharing of resources and allow for tailoring service delivery to clients' needs. As such, cloud computing provides a backbone for more effective and efficient service-oriented computing.

Formal methods can play a fundamental role in research on SOC, cloud computing, and their interplay. 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 behavioural 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, and business process management. Formal models further enable linking service abstractions to event-driven, reactive middle-ware and execution infrastructures. Moreover, the challenges raised by this area can offer opportunities for extending the state of the art in formal techniques.

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

#########################
Topics
#########################

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

 * Mathematical foundations of service/processes-oriented and cloud computing
 * Security, trust, and privacy in service-oriented and cloud computing
 * Performance and dependability of services/clouds
 * Multi-tenancy, adaptability and evolvability of processes and services in the cloud
 * Model-driven development of services/clouds
 * Quality of service and service-level agreements
 * Web service coordination, transactions, and compositions
 * Web service ontologies and semantic descriptions
 * Semi-structured data management and XML technology
 * Types and logics for web services/processes/clouds
 * Verification, analysis, and testing of services/clouds
 * Web services for business process management
 * Process management in the cloud
 * Formal approaches to business process modelling
 * Contractual issues between service providers and consumers
 * Innovative application scenarios for web services/clouds
 * Data services and data-centric process modelling
 * Event-driven models for service/process-oriented and cloud computing
 * Event-based cloud infrastructures
 * Standards and technologies for service/process-oriented and cloud computing
 * Case studies on formal methods in service/process-oriented and cloud applications
 * Case studies on formal methods in business process management

#########################
Important Dates
#########################

 * Paper submission deadline: June 9, 2014
 * Author notification: July 9, 2014
 * Camera-ready copy: July 30, 2014
 * Workshop dates: September 11-12, 2014

#########################
Submission Instructions
#########################

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 in English and submitted at the following submission site, handled by EasyChair,

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

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 programme committee. As in previous years, we expect to publish the post-workshop proceedings shortly after the workshop as a volume in Springer's Lecture Notes in Computer Science (LNCS).

#########################
Special Issue
#########################

Depending on the quality of the submissions, WS-FM:FASOCC 2014 may, as last year, have a special journal issue of extended papers.

#########################
Organisation
#########################

Programme Committee Chairs
 * Thomas Hildebrandt, IT University of Copenhagen, Denmark
 * Matthias Weidlich, Imperial College London, United Kingdom

Program Committee (to be confirmed)
 * Farhad Arbab, CWI, Amsterdam, The Netherlands
 * Massimo Bartoletti, University of Cagliari, Italy
 * Laura Bocchi, Imperial College London, United Kingdom
 * Mario Bravetti, University of Bologna, Italy
 * Roberto Bruni, University of Pisa, Italy
 * Fran?ois Bry, Ludwig-Maximilians-Universit?t M?nchen, Germany
 * Marco Carbone, IT University of Copenhagen, Denmark
 * Erik De Vink, Eindhoven University of Technology, The Netherlands
 * Marlon Dumas, University of Tartu, Estonia
 * Schahram Dustdar, TU Wien, Austria
 * Dirk Fahland, Eindhoven Univ. of Technology, The Netherlands
 * Jos? Luiz Fiadeiro, Royal Holloway, University of London, United Kingdom
 * Roberto Guanciale, KTH, Sweden
 * Sylvain Hall?, Universit? du Qu?bec ? Chicoutimi, Canada
 * Thomas Hildebrandt, IT University of Copenhagen, Denmark
 * Ivan Lanese, University of Bologna, Italy
 * Niels Lohmann, University of Rostock, Germany
 * Marco Montali, Free University of Bozen-Bolzano, Italy
 * Chun Ouyang, Queensland University of Technology, Australia
 * Artem Polyvyanyy, Queensland University of Technology, Australia
 * Alexandra Poulovassilis, Birkbeck, University of London, United Kingdom
 * Rosario Pugliese, University of Florence, Italy
 * Ant?nio Ravara, Universidade Nova de Lisboa, Portugal
 * Jianwen Su, University of California at Santa Barbara, USA
 * Maurice H. Ter Beek, CNR Pisa, Italy
 * Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
 * Hugo Torres Vieira, Universidade de Lisboa, Portugal
 * Emilio Tuosto, University of Leicester, United Kingdom
 * Matthias Weidlich, Imperial College London, United Kingdom
 * Lijie Wen, Tsinghua University, China
 * Martin Wirsing, Ludwig-Maximilians-Universit?t M?nchen, Germany
 * Karsten Wolf, University of Rostock, Germany
 * Nobuko Yoshida, Imperial College London, United Kingdom
 * Gianluigi Zavattaro, University of Bologna, Italy

Steering Committee
 * Wil van der Aalst, Eindhoven University of Technology, The Netherlands
 * Mario Bravetti, University of Bologna, Italy
 * Marlon Dumas, University of Tartu, Estonia
 * Jos? Luiz Fiadeiro, Royal Holloway, University of London, United Kingdom
 * Gianluigi Zavattaro, University of Bologna, Italy


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140131/e375a65b/attachment.html>