All conferences / FVSBS / 2019
FVSBS 2019
7th International track on Formal Verification of Service Based Systems
Submission timeline
-
12 Mar 2019
Full paper
20 Feb 2019→ 5 Mar 2019 +13 days
5 Mar 2019→ 12 Mar 2019 +7 days -
22 Mar 2019
Notification
15 Mar 2019→ 20 Mar 2019 +5 days
20 Mar 2019→ 22 Mar 2019 +2 days
- 12 Jun 2019 Conference opens
What to submit
- Format
- 6 pages IEEE (full) / 4 pages IEEE (short)
- Proceedings
- ?
Conference Track @ IEEE WETICE 2019.
Call for papers
- After a deadline extension FVSBS-2019-extended2.txt · TXT · shown below
- As first published FVSBS-2019.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at lipn.univ-paris13.fr/fvsbs19/.
The deadline of FVSBS has been extended to March 12th. ================================================================= Call for Papers Fifth International track on Formal Verification of S ervice Based Sy stems FVSBS 2019 Conference Track @ IEEE WETICE 2019 Date: June 12-14, 2019 Location: Capri (Napoli), Italy more info at https://lipn.univ-paris13.fr/fvsbs19/ and www.wetice.org ================================================================== The goal of this track is to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances of formal verification of software architecture and to address adaptation and reconfiguration issues. Different investigation topics are involved, such as: Service Oriented Architecture (SOA); Service Component Architecture (SCA); Business Process Management (BPM); Software analysis and model checking, Software process and workflow; Software validation and verification; Software testing and testing tools; Dynamic composition. From technology foundation perspective, formal verification of software architecture has become the default discipline in the modern software development. FVSBS’2017 will provide an opportunity for the community to exchange ideas and to present emerging new papers reporting s ubstantive new work in various aspects of formal verification of service based systems. TOPICS Service oriented architecture, SOA migration and governance checking Service-oriented and component-based software applications and architectures modeling verification SCA based software applications checking Formal Web services composition checking Formal Tools and technologies for Web Services development, deployment and management Impact of formal methods on Web Services and SOA and SCA base applications Formal verification of service and component based system approaches for dynamic composition Model-Driven Eng ineering (MDE) and SOA Modeling and Meta-modeling and SOA based applications IMPORTANT DATES Paper Submission: March 12th, 2019 Decision Notification: March 22th, 2019 Camera-Ready Submission : April 5th, 2019 TRACK CHAIRS Mohamed Graiet (ISIM, Monastir, Tunisia) Kais Klai (LIPN, Pari s, France)