There is a growing interest in applying formal methods in practice to improve software reliability and security. However, this interest has not been successfully converted into the reality of most application. How to enable practitioners to easily and effectively use formal techniques remains challenging.
The Structured Object-Oriented Formal Language (SOFL) has been developed to address this challenge by providing a comprehensible specification language, a practical modeling method, various verification and validation techniques, and tool support through effective integration of formal methods with conventional software engineering techniques. The Modeling, Simulation and Verification Language (MSVL) is a parallel programming language, and its supporting toolkit MSV has been developed to enable us to model, simulate and verify a system in a formal manner.
This workshop aims to continuously promote the development and combinations of the SOFL formal engineering method and the formal method MSVL, as well as the applications of their fundamental principles or specific techniques to developing other formal engineering techniques. We expect to bring industrial, academic and government experts of SOFL and MSVL to communicate and to exchange ideas. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the interest includes, but not limited to, all of the possible issues in relation to SOFL, MSVL, or their applications in both developing other formal engineering techniques and specific software systems.
This year SOFL+MSVL will be co-hosted with ICFEM2018.
Paper submission: 31 July 2018
Acceptance/Rejection notification: 2 September 2018
Camera ready Paper Due: 22 December 2018
Registration Deadline: TBD
Workshop Date: 16 November 2018
The scientific topics of the workshop include, but are not limited to:
Submissions to the workshop can be done through the submission webpage https://easychair.org/conferences/?conf=soflmsvl2018 and must not have been published or be concurrently considered for publication elsewhere. Papers must be written in English and should be no longer than 20 pages in Springer’s LNCS format. The workshop proceedings will be published as an LNCS post-proceedings by Springer.
Gold Coast is blessed with an enviable climate, world-class facilities and convenient public transport networks.
Delegates can easily access activities like cruising on the Bay, with the lush rainforests of the Scenic Rim and the beaches of the Gold Coast and Sunshine Coast within a short drive of the city centre.
More details available soon.
More details available soon.
Yuting Chen, Shanghai Jiaotong University, China
Busalire Emeka, Hosei University, Japan
Colin Fidge, Queensland University of Technology, Australia
Huaikou Miao, Shanghai University, China
Weikai Miao, East China Normal University, China
Fumiko Nagoya, Nippon University, Japan
Shin Nakajima, NII, Japan
Kazuhiro Ogata, JAIST, Japan
Shengchao Qin, Teesside University, UK
Wuwei Shen, Western Michigan University, USA
Xinfeng Shu, Xi’an University of Posts and Telecomunications, China
Cong Tian, Xidian University, China
Rong Wang, Hosei University, Japan
Xi Wang, Shanghai University, China
Jinyun Xue, Jiangxi Normal University, China
Institute for Integrated and Intelligent Systems
+61 7 3735 3757
To be announced.