[TYPES/announce] CALL FOR PARTICIPATION -- SETTA 2017

[songfu at shanghaitech.edu.cn]

********************************************************************************************************** 
CALL FOR PARTICIPATION -- SETTA 2017 
Symposium on Dependable Software Engineering: Theories, Tools and Applications 
Changsha, China, Oct. 23-25, 2017 
http://lcs.ios.ac.cn/setta2017/ 
**********************************************************************************************************

Early registration: September 26, 2017 

*** ABOUT SETTA *** 

The purpose of SETTA is to provide an international forum for researchers 
and practitioners to share cutting-edge advancements and strengthen 
collaborations in the field of formal methods and its interoperability 
with software engineering for building reliable, safe, secure and smart 
systems. 

*** INVITED Keynotes *** 

Cliff Jones (Newcastle University)： 
General Lessons from a Rely/Guarantee Development 

Rupak Majumdar (Max Planck Institute for Software Systems): 
Formal Methods for Building a Multi-Robot Task Server 

Sanjit Seshia (University of California, Berkeley): 
Towards Verified Artificial Intelligence 

Jean-Pierre Talpin (INRIA): 
Compositional Methods for Cyber-Physical System Design 

*** CONTRIBUTED PAPERS *** 

Jianxin Xue, Huan Long and Yuxi Fu: 
Remark on Some Pi Variants 

Wanwei Liu, Fu Song and Ge Zhou: 
Reasoning about Periodicity on Infinite Words 

Zipeng Zhang and Xinyu Feng: 
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications 

Dimitar Guelev, Shuling Wang and Naijun Zhan: 
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus 

Andrzej Mizera, Jun Pang, Hongyang Qu and Qixia Yuan: 
A Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks 

Yuwei Wang, Guoqiang Li and Shoji Yuen: 
Nested Timed Automata with Invariants 

Yi Li: 
Termination of Semi-Algebraic Loop Programs 

Ghassen Helali, Sofiene Tahar, Osman Hasan and Tsvetan Dunchev: 
Formal Analysis of Information Flow in HOL 

Chen Fu, Yuxin Deng, David N. Jansen and Lijun Zhang: 
On Equivalence Checking of Nondeterministic Finite Automata 

Luca Santinelli and Zhishan Guo: 
On the Criticality of Probabilistic Worst-Case Execution Time Models 

Carlos E. Budde, Pedro R. D'Argenio and Arnd Hartmanns: 
Better Automated Importance Splitting for Transient Rare Events 

Stefano Schivo, Bugra Mehmet Yildiz, Enno Ruijters, Christopher Gerking, 
Rajesh Kumar, Stefan Dziwok, Arend Rensink and Marielle Stoelinga: 
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach 

Jiawei Wang, Ming Fu, Lei Qiao and Xinyu Feng: 
Formalizing SPARCv8 Instruction Set Architecture in Coq 

Calvin Deutschbein, Tom Fleming, Alan Burns and Sanjoy Baruah: 
Multi-core cyclic executives for safety-critical systems 

Meenakshi Dsouza and Maithily Diwan: 
A framework for modeling and verifying IoT communication protocols 

Idress Husien, Sven Schewe and Nicolas Berthier: 
PranCS: A Protocol and Discrete Controller Synthesis Tool 

Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden: 
Construction of Abstract State Graphs for Understanding Event-B Models 

Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns 
and Khaled Elbassioni: 
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs 

Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert and Mana Taghdiri: 
Computing Exact Loop Bounds for Bounded Program Verification 

*** REGISTRATION *** 

Early registration is until *September 26, 2017 (AOE)* 

http://lcs.ios.ac.cn/setta2017/registration.php 

*** HOST CITY *** 

Changsha,the capital of Hunan province, is a famous historical and cultural 
city with a history of over 3,000 years.Nowadays, Changsha is an important 
commercial, manufacturing and transportation center in China. 

October is the golden season of Changsha. 

************************************************************************* 
We hope to welcome you to SETTA 2017! 
************************************************************************* 

Sincerely, 

SETTA 2017 PC co-chairs, 
Kim Larsen, Oleg Sokolsky and Ji Wang 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170912/9e0f9a3f/attachment.html>