[FM-India] Call for Papers SETTA 2015

[Madhavan Mukund]

 Date: Wed, 3 Dec 2014 21:09:20 +0800
 From: jun sun <sunjun at sutd.edu.sg>
 To: Sun Jun <sunjun at sutd.edu.sg>
 Subject: Call for Papers SETTA 2015

 SETTA 2015

 Symposium on Dependable Software Engineering: Theories, Tools and
 Applications

 Nanjing University 
 November 4-6, 2015

 IMPORTANT DATES

 June 12,2015  Abstracts
 June 19,2015  Submission of papers
 August 21,2015  Notification to authors
 September 4,2015  Camera-ready versions

 KEYNOTE SPEAKERS
 Sanjoy Baruah, University of North Carolina at Chapel Hill, USA 
 David Harel,   Weizmann Institute of Science, Israel 
 Huimin Lin,    Institute of Software, CAS, China

 BACKGROUND AND OBJECTIVES

 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.

 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 technologies, 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. Papers should be written in English. Regular Papers should
 not exceed 15 pages and Short Papers should not exceed 6 pages in
 LNCS format (seehttp:// www.springer.de/comp/lncs/authors.html for
 details). 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

 Topics 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

 GENERAL CHAIR
   Jian Lv, Nanjing University, China 

 PROGRAMME CO-CHAIRS
   Xuandong Li, Nanjing University, China 
   Zhiming Liu, Birmingham City University, UK   
   Yi Wang, Uppsala University, Sweden   

 PUBLICITY CHAIRS
   Jonathan Bowen, Birmingham City University, UK 
   Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China 

 PUBLICATION CHAIR
   Martin Fränzle, University of Oldenburg, Germany  

 LOCAL ORGANIZATION CHAIR
   Xin Chen, Nanjing University, China  

 PROGRAM COMMITTEE
 * Farhad Arbab,  CWI and Leiden University,The Netherlands 
 * Luis Barbosa,  Universidade do Minho,Portugal 
 * Jonathan Bowen,  Birmingham City University,UK 
 * Nikolaj Bjorner,  Microsoft Research,USA 
 * Michael Butler,  University of Southampton,UK 
 * Van Hung Dang,  Vietnam National University,Vientam 
 * Martin Fränzle,  University of Oldenburg,Germany 
 * Goran Frehse,  Universite Joseph Fourier Grenoble 1?Verimag, France 
 * Lindsay Groves,  Victoria University of Wellington,New Zealand
 * Tei-Wei Guo, National Taiwan University, TW, China
 * Holger Hermanns,  Saarland University,Germany 
 * Ian J. Hayes,  University of Queensland,Australia 
 * Gerwin Klein,  NICTA and UNSW,Australia 
 * Insup Lee,  University of Pennsylvania,USA 
 * Xuandong Li, Nanjing University, China
 * Shaoying Liu,  Hosei University,Japan
 * Zhiming Liu, Birmingham City University, UK
 * Mingsong LU, North Eastern University, China
 * Xiaoguang Mao,  National University of Defense Technology,China 
 * 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 
 * Farn Wang, National Taiwan University, TW, China
 * Qixin Wang, The Hong Kong Polytechnic University, HK, China
 * Yi Wang, Uppsala University, Sweden   
 * Lijun Zhang,  Institute of Software, Chinese Academy of Sciences,China 
 * Jianhua Zhao,  Nanjing University,China 
 * Huibiao Zhu,  East China Normal University,China 


 STEERING COMMITTEE
 * Zhenhua Duan, Xi?dian 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