The 9th International Symposium on Theoretical Aspects of Software Engineering call for papers
时间: 2015-03-12 发布者: 文章来源: 计算机科学与技术学院 审核人: 浏览次数: 1667

Overview

Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2015 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering.

TASE 2015 is the 9th in the TASE series. The past TASE symposiums were successfully held in Shanghai ("07), Nanjing ("08), Tianjin ("09), Taipei ("10), Xi"an ("11), Beijing ("12), Birmingham ("13), Changsha("14).The proceedings of the TASE 2015 symposium are planned to be published by the IEEE Computer Society Press.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 Frontiers of Computer Science journal.

Topics of Interest

Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

  Requirements Engineering

  Specification and Verification

  Program Analysis

  Software Testing

  Model-Driven Engineering

  Software Architectures and Design

  Aspect and Object Orientation

  Embedded and Real-Time Systems

  Software Processes and Workflows

  Component-Based Software Engineering

  Software Safety, Security and Reliability

  Reverse Engineering and Software Maintenance

  Service-Oriented and Cloud Computing

  Semantic Web and Web Services

  Type System and Theory

  Program Logics and Calculus

  Probability in Software Engineering

General Chairs:

Jifeng He (East China Normal University, China)

Program Co-Chairs:

Zhiqiu Huang (Nanjing University of Aeronautics and Astronautics, China)

Jun Sun (Singapore University of Technology and Design, Singapore)

Program Committee:

Luciano Baresi (Politecnico di Milano, Italy)
Earl Barr (University College London, UK)
Nikolaj Bjorner (Microsoft Research, USA)
Lubo? Brim (Masaryk University, Czech Republic)
Zining Cao (Nanjing University of Aeronautics and Astronautics, China)
Taolue Chen (Middlesex University, UK)
Zhenhua Duan (Xidian University, China)
Wei Dong (National University of Defense Technology, China)
Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain)
Jaco Geldenhuys (University of Stellenbosch, South Africa)
Peter Habermehl (Liafa, Paris 7, France)
Ian J. Hayes  (University of Queensland, Australia)
Dang Van Hung (Vietnam National University, Vietnam)
Jason Lee (University of Melbourne, Australia)
Karl Leung (VTC, Hong Kong)
Bixin Li (Southeast University, China)
Xiaoshan Li (University of Macau, Macau)
Xuandong Li (Nanjing University, China)
Zhoujun Li (Beihang University, China)
Shaoying Liu (Hosei University, Japan)
Martin Leucker (University of Lübeck, Germany)
Xiaoqing(Frank) Liu (Missouri University of Science and Technology, USA)
Antoine Miné (Ecole Normale Supérieure Paris, France)
Fernando Orejas (Universitat Politecnica de Catalunya, Spain)
Paritosh K. Pandya (Tata Institute of Fundamental Research, India)

Jun Pang (University of Luxembourg)
Xin Peng (Fudan University, China)
Geguang Pu (East China Normal University, China)
Shengchao Qin (Teesside University, UK)
Zongyan Qiu (Peking University, China)
Cesar Sanchez (IMDEA Software Institute, Spain)
Klaus Schneider (University of Kaiserslautern, Germany)
Axel Simon (Technical University of Munich, Germany)
Graeme Smith (University of Queensland, Australia)
Colin Snook  (University of Southampton, UK)
Volker Stolz (Bergen University College, Norway)
Kaile Su (Griffith University, Australia)
Jing Sun  (University of Auckland, New Zealand)
Jean Pierre Talpin (INRIA, France)
Yih-Kuen Tsay (National Taiwan University, Taiwan)
Viktor Vafeiadis (MPI-SWS, Germany)
Margus Veanes (Microsoft Research, USA)
Tomas Vojnar (Brno University of Technology, Czech Republic)
Yi Wang (Uppsala University, Sweden)
Hongji Yang (Bath Spa University, UK)
Hongli Yang (Beijing University of Technology, China)
Hongwei Xi (Boston University, USA)
Yingfei Xiong (Peking University, China)
Naijun Zhan (Chinese Academy of Sciences, China)
Hao Zhong (Shanghai Jiaotong University, China)
Huibiao Zhu (East China Normal University, China)

Organizing Chair:

Ou Wei (Nanjing University of Aeronautics and Astronautics, China)

Publicity Chairs:

Jun Hu (Nanjing University of Aeronautics and Astronautics, China)

Yu Zhou (Nanjing University of Aeronautics and Astronautics, China)

Jun Pang (University of Luxembourg)

Important Dates:

Abstract submission

 : 

March 7, 2015 (23h59 GMT)March 21, 2015 (23h59 GMT)

Paper submission

 : 

March 14, 2015 (23h59 GMT)March 28, 2015 (23h59 GMT)

Notification

 : 

May 23, 2015

Camera-ready

 : 

June 13, 2015

Conference

 : 

Sept 12-14, 2015

 本次会议拟评选最佳论文奖, 并推荐部分优秀论文的扩展版到Frontiers of Computer Science期刊. 会议网址: http://tase2015.nuaa.edu.cn/