[Please accept our apologies if you receive multiple copies of this Call for Participation]
==================================================== CALL FOR PARTICIPATION SETTA 2016 2nd Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016 http://lcs.ios.ac.cn/setta/ ==================================================== === Important dates === Early registration deadline: October 10, 2016 Conference: Nov. 9-11, 2016 === Objectives and scope === The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. Contributions relating to formal methods or integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome. Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain. Areas of interest include but are not limited to: * Requirements specification and analysis * Formalisms for modeling, design and implementation * Model checking, theorem proving, and decision procedures * Scalable approaches to formal system analysis * Formal approaches to simulation and testing * Integration of formal methods into software engineering practice * Contract-based engineering of components, systems, and systems of systems * Formal and engineering aspects of software evolution and maintenance * Parallel and multicore programming * Embedded, real-time, hybrid, and cyber-physical systems * Mixed-critical applications and systems * Formal aspects of service-oriented and cloud computing * Safety, reliability, robustness, and fault-tolerance * Empirical analysis techniques and integration with formal methods * Applications and industrial experience reports * Tool integration === Invited speakers === * Prof. Edward A. Lee (University of California at Berkeley, USA) : Dependable Cyber-Physical Systems * Prof. Sriram Sankaranarayanan(University of Colorado Boulder, USA ) : From finitely many simulations to flowpipes * Prof. Mingsheng Ying (University of Technology Sydney, Australia and Tsinghua University, China) : Toward Automatic Verification of Quantum Programs === Co-located Events === SETTA 2016 will be accompanied by two co-located events: 2nd Young Researchers Workshop on Formal Methods (YR-SETTA 2016) http://lcs.ios.ac.cn/setta/yr-setta/ FMAC 2016 (in Chinese) http://lcs.ios.ac.cn/setta/fmac2016/ === Conference location === SETTA 2016 is hosted by the Institute of Software, Chinese Academy of Science; the conference will take place in Building 5.
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
