Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. 
Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways.
FACS 2013 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation.

The registration fees for FACS 2013 are shown in the table below:

Registration fees need to be paid in RMB. 1 Euro is approximately 8.26 RMB and 1 USD is approximately 6.12 RMB. I.e., the regular fee(2500RMB) is approximately 303 Euro and the student fee(2000RMB) approximately 242 Euro. 

Registration includes: lunches, coffee-breaks, reception (Nov.28) and a tour in Nanchang (dinner Nov.30) 

1、免费活动如何报名参加？
请通过文章中的联系方式报名参加。

2、价格显示为收费的活动具体费用是多少？我要如何报名？
你可以在网站上留言或电话(400-003-3879)咨询，我们会尽快联系你。

3、活动具体地址在哪里？
1、活动具体地址待报名后告知。
2、报名前可咨询“活动家”客服，服务热线 400-003-3879

4、活动截止报名时间是什么时候？
尽早报名，早报早优惠。

5、怎么提交论文？论文参会如何收费？
亲，您好！我们暂不接受论文提交或论文参会。

6、活动发票如何领取？
亲，您好！请您在下单时，在备注框内填写好发票抬头，发票寄送地址或其它信息，以便您能即时有效的收到发票。