[FM-India] Call for Papers: SETTA 2014, August 14-17, Nanjing, China

Madhavan Mukund madhavan at cmi.ac.in
Fri Jan 10 10:03:51 IST 2014

 From: Lijun Zhang <zhanglj at ios.ac.cn>
 To: fmindia at cmi.ac.in
 Date: Fri, 10 Jan 2014 11:54:27 +0800
 Subject: Call for Papers: SETTA 2014, August 14-17, Nanjing, China
 Our apologies if you have received multiple copies.
 Call for Papers: SETTA 2014 
 Symposium on Dependable Software Engineering: 
 Theories, Tools and Applications 
 Nanjing University 
 August 14, 2014 to August 17, 2014 
 February 8, 2014 Abstracts 
 February 15, 2014 Submission of papers 
 April 25, 2014 Notification to authors 
 TBD 2014 Camera-ready versions 
 The aim of the symposium is to bring together international 
 researchers and practitioners in the field of formal software 
 engineering methods. Its focus is on clarifying the relation between 
 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 formal 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. 
 Authors are invited to submit papers on original research, industrial 
 applications, or position papers proposing challenges in fundamental 
 research and technology. The latter two types of submissions are 
 expected to contribute to the development of formal methods either by 
 substantiating the advantages of integrating formal methods into the 
 development cycle or through delineating need for research by 
 demonstrating weaknesses of existing formal methods, especially when 
 addressing new application domains. 
 Submissions can take the form of either normal or short papers. Short 
 papers can discuss ongoing research at an early stage, including PhD 
 projects. The proceedings will be published as a volume in Springer's LNCS series. 
 The authors of a selected subset of accepted papers will be invited to submit 
 extended versions of their papers to appear in a special issue of the Formal 
 Aspect Computing journal. 
 Topics of interest include, but are not limited to: 
 * Formal aspects of engineering approaches to software and system quality 
 * Integration of formal methods into software engineering practice 
 * Requirements analysis, specification and design 
 * Formal methods for embedded, real-time, hybrid, and cyber-physical systems 
 * Formal methods for service-oriented and cloud computing 
 * Formal aspects of security and mobility 
 * Formal aspects of safety, reliability, robustness, and fault-tolerance 
 * Model checking, theorem proving, and decision procedures 
 * Integration of empirical analysis techniques with formal methods 
 * Contract-based engineering of components, systems, and systems of systems 
 * Formal and engineering aspects of software evolution and maintenance 
 * Scalable approaches to formal system analysis and design 
 * Tool integration 
 * Applications of formal methods and industrial experience reports 
 Cliff Jones, University of Newcastle, UK 
 Martin Fränzle, University of Oldenburg, Germany 
 Xuandong Li, Nanjing University, China 
 Jonathan Bowen, Birmingham City University,UK 
 Lijun Zhang, Institute of Software, Chinese Academy of Sciences,China 
 Xin Chen, Nanjing University, China 
 * Farhad Arbab, CWI and Leiden University,The Netherlands 
 * Luis Barbosa, Universidade do Minho,Portugal 
 * Michael Butler, University of Southampton,UK	
 * Nikolaj Bjorner, Microsoft Research,USA 
 * Van Hung Dang, Vietnam National University,Vientam 
 * Martin Fränzle, Carl von Ossietzky Universität Oldenburg,Germany 
 * Goran	Frehse, Universite Joseph Fourier Grenoble 1 – Verimag, France 
 * Lindsay Groves, Victoria University of Wellington,New Zealand 
 * Holger Hermanns, Saarland University,Germany	
 * Ian J. Hayes, University of Queensland,Australia	
 * Gerwin Klein, NICTA and UNSW,Australia	
 * Insup Lee, University of Pennsylvania,USA 
 * Shaoying Liu, Hosei University,Japan	
 * Xuandong Li, Nanjing University,China	
 * Xiaoguang Mao, National University of Defense Technology,China 
 * Ursula Martin, Queen Mary University of London,UK 
 * Joel Ouaknine, Oxford University,UK 
 * Jun Pang, University of Luxembourg,Luxembourg 
 * Paritosh Pandya,Tata Institute of Fundamental Research Research,India 
 * Paul Pettersson, Mälardalen University, Sweden 
 * Zongyan Qiu, Peking University,China	
 * Shengchao Qin, Teesside University,UK	
 * Jean-Francois Raskin, Université Libre de Bruxelles,Belgium 
 * Stefan Ratschan, Czech Academy of Sciences,CZ	
 * Martin Steffen, University of Oslo,Norway 
 * Cesare Tinelli, The University of Iowa,USA	
 * Tarmo	Uustalu, Tallinn University of Technology,Estonia 
 * Irina Virbitskaite, Ershov Institute of Informatics Systems,Russian 
 * Andrzej Wasowski, IT University of Copenhagen,Denmark 
 * Jian Zhang, Institute of Software, Chinese Academy of Sciences,China 
 * Lijun Zhang, Institute of Software, Chinese Academy of Sciences,China 
 * Jianhua Zhao, Nanjing University,China 
 * Huibiao Zhu, East China Normal University,China 
 * Zhenhua Duan, Xi’dan University, China 
 * Martin Fränzle, University of Oldenburg, Germany 
 * Kim Larsen, Aalborg University, Denmark 
 * Xuandong Li, Nanjing University China 
 * Zhiming Liu, Birmingham City University,UK 
 * Sriram Rajamani, Microsoft Research India 
 * Ji Wang, National University of Defense Science and Technology, China 
 * Kwangkeun Yi, Seoul National University, Korea 
 * Naijun Zhan (Chair), Software Institute, Chinese Academy of Sciences, China 

More information about the FMIndia mailing list