Introduction
第十届构件化软件形式化方法国际研讨会 (FACS2013)及相关卫星会议于2013年10月在江西省南昌市召开。FACS国际会议由欧美多所著名大学联合发起，已在发达国家成功举办9届，决定在中国举办尚属首次。FACS2013包含的3个卫星活动是：理论制导的软件支撑工具研发国际研讨会（TTSS2013）、可信软件逻辑方法论坛（简称：LEDS2013）以及计算机软件前沿技术讲习班（Tutorials）。
Call for paper
Submission Topics
The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:
■ formal models for software components and their interaction
■ stochasti
All Comments
Important Date
-
Conference Date
Oct 24
2013
toNov 02
2013
-
Nov 02 2013
Registration deadline
Sponsored By
江西师大省高性能计算重点实验室
Contact Information
Submit Comment