coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Lijun Zhang <zhanglj AT ios.ac.cn>
- To: concurrency AT tue.nl, announce AT informatics-europe.org, theorem-provers AT ai.mit.edu, coq-club AT inria.fr, isabelle-users AT cl.cam.ac.uk, list AT prooftheory.org, logic-announce AT uclink4.berkeley.edu, mailinglist AT fmeurope.org, puml-list AT cs.york.ac.uk, theory-logic AT cs.cmu.edu, fmics AT inrialpes.fr
- Subject: [Coq-Club] SETTA 2016 CFP
- Date: Sun, 7 Feb 2016 00:29:53 +0800
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhanglijun79 AT gmail.com; spf=Pass smtp.mailfrom=zhanglijun79 AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f54.google.com
- Ironport-phdr: 9a23:aJGgURxd9h4tWNTXCy+O+j09IxM/srCxBDY+r6Qd1+MRIJqq85mqBkHD//Il1AaPBtWEragYwLqI+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU1Zj8h7760qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVHV67nZb41S7dJJCg7PiYz4ImjvB/FShaJ7XY0U2MYlQBNChTE5wq/U4rrtTP38O1n123SIc37Sqo5XHG69aB1RQXzoC4GcTs47CfahtE0xKlcuVeqowF164/SeoCccvRkOuvcZtoQSG5FU4NMTCFbGau3a80EBu9HNO0esoq5718PtgeWHROrA+3zyjJPnG6w2rc1l6wlFg7H10kpGdQJrXLfof3oP6MTV+PpiqPF1zbOa/5Hnzrx9cyAdxkgpfCKUrZxatb5x0wiChnClljWrpbqe3uNy+EJ9mya9PZIXvnpmmk9qEd4qX6yxYNklonEgZgEj1TD+iRy6I0uY9a9VQh2bcPgWJVVtiqBH4pwWMIrR3llo2A00O4oo5m+KQwLyokhjyzfYvqIO9ya4hvlW+KTCTZ/nzRsc/S0gUDhogCb1uTgW5zsgx5xpS1fn4yUuw==
SETTA 2016
Symposium on Dependable Software Engineering Theories, Tools and Applications
Beijing, China, Nov. 9-11, 2016
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
IMPORTANT DATES 2016 (AOE time, UTC-12)
May 12, 2016 Abstracts
May 19, 2016 Submission of papers
July 15, 2016 Notification to authors
August 6, 2016 Camera-ready versions
ADVISORY BOARD
Zhou Chaochen (Coordinator) Institute of Software, Chinese Academy of Sciences, China
He JifengEast China Normal University, China
Cliff JonesNewcastle University, UK
Deepak KapurUniversity of New Mexico, USA
Li WeiBeihang University, China
STEERING COMMITTEE
Zhenhua Duan Xi'dian University, China
Martin FränzleUniversity of Oldenburg, Germany
Kim LarsenAalborg University, Denmark
Xuandong LiNanjing University, China
Zhiming LiuSouthwest University, China
Sriram RajamaniMicrosoft Research, India
Ji Wang, NUDT, China
Kwangkeun YiMicrosoft Research, India
Naijun Zhan (Chair)Institute of Software, Chinese Academy of Sciences, China
ORGANIZATION COMMITTEE
General Chair
Huimin Lin, Institute of Software, Chinese Academy of Sciences, China
Program Co-chairs
Martin Fränzle, University of Oldenburg, Germany
Deepak Kapur, University of New Mexico, USA
Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
Publicity Chairs
Nils Müllner, Mälardalen University
Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China
Local Organization Chair Andrea Turrini, Institute of Software, Chinese Academy of Sciences, China
Shuling Wang, Institute of Software, Chinese Academy of Sciences, China
Peng Wu, Institute of Software, Chinese Academy of Sciences, China
Zhilin Wu, Institute of Software, Chinese Academy of Sciences, China
PROGRAM COMMITTEE
Erika Abraham RWTH Aachen University, Germany
Farhad Arbab CWI and Leiden University, The Netherlands
Sanjoy BaruahUniversity of North Carolina, USA
Michael Butler University of Southampton,UK
Deepak D'SouzaIndian Institute of Science, India
Yuxin Deng East China Normal University, China
Xinyu Feng University of Science and Technology of China, China
Martin FränzleUniversity of Oldenburg, Germany (Chair)
Goran Frehse Universite Joseph Fourier Grenoble 1-Verimag, France
Lindsay Groves Victoria University of Wellington,New Zealand
Dimitar Guelev Bulgarian Academy of Sciences, Bulgaria
Fei He Tsinghua University, China
Holger Hermanns Saarland University,Germany
Deepak KapurUniversity of New Mexico, USA (Chair)
Axel Legay IRISA/INRIA, Rennes, France
Xuandong Li Nanjing University,China
Shaoying Liu Hosei University,Japan
Zhiming Liu Southwest University, China
Xiaoguang Mao NUDT,China
Markus Müller-OlmWestfälische Wilhelms-Universität Münster, Germany
Raja Natarajan Tata Institute of Fundamental Research, India
Jun Pang University of Luxembourg,Luxembourg
Shengchao Qin Teesside University,UK
Sriram Rajamani Microsoft Research India
Jean-Francois Raskin Université Libre de Bruxelles,Belgium
Stefan Ratschan Czech Academy of Sciences,CZ
Martin Steffen University of Oslo,Norway
Zhendong Su UC Davis, USA
Cong Tian Xidian University, China
Tarmo UustaluTallinn University of Technology, Estonia
Chao Wang Virginia Tech, USA
Farn Wang National Taiwan University, TW, China
Heike Wehrheim University of Paderborn, Germany
Wang Yi Uppsala University,Sweden
Naijun ZhanInstitute of Software, CAS, China (Chair)
Lijun Zhang Institute of Software, Chinese Academy of Sciences,China
- [Coq-Club] SETTA 2016 CFP, Lijun Zhang, 02/06/2016
Archive powered by MHonArc 2.6.18.