SOFL+MSVL 2018: The 8th International Workshop on SOFL + MSVL for Reliability and Security Gold Coast Gold Coast, Australia, November 16, 2018 |
Conference website | http://formal-analysis.com/sofl_msvl/2018/ |
Submission deadline | July 31, 2018 |
SOFL+MSVL 2018 is an anual workshop on formal engineering methods in relation to the SOFL method and the MSVL method. SOFL stands for Structured Object-Oriented Formal Language and SOFL method is a representative formal engineering method. MSVL stands for Modling, Specification, and Verification Language that supports temporary logic-based modeling and specification as well as model checking for verification. This workshop is always organized as a stalliet event of Interntional Conference on Formal Engineering Methods (ICFEM). SOFL+MSVL 2018 is the 8th workshop in the workshp series.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: see the workshop homepage: http://formal-analysis.com/sofl_msvl/2018/.
- Full papers: 31 July 2018
Committees
Program Committee
Program Chairs
Shaoying Liu, Hosei University, Japan
Zhenhua Duan,, Xidian University, China
Program Committee
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
Organizing committee
Contact
All questions about submissions should be emailed to: sliu@hosei.ac.jp