注册已开启

查看我的门票

已截止
活动简介

SOFL+MSVL 2019 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 2019 is the 9th workshop in the workshp series. 

组委会

General Chairs

Shaoying Liu, Hosei University, Japan

Zhenhua Duan, Xidian University, China

Program Chairs

Huaikou Miao, Shanghai University, China

Cong Tian, 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

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    11月05日

    2019

    11月10日

    2019

  • 07月20日 2019

    初稿截稿日期

  • 11月10日 2019

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询