[Haskell] Call for Papers: TASE 2014 (Submission deadline has been extended)

[Huibiao Zhu]

               TASE 2014 - CALL FOR PAPERS

 

******************************************************************

                The 8th International Symposium on

           Theoretical Aspects of Software Engineering

                           (TASE 2014)

                1-3 September 2014, Changsha, China

                  http://www.nudt.edu.cn/tase2014

 

             The submission deadline has been extended.

             Abstract submission:  14 March 2014 (NEW)

             Paper submission   :  21 March 2014 (NEW)

 

 

        For more information email: TASE2014 at nudt.edu.cn

******************************************************************

 

OVERVIEW

 

The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014),
will be held in Changsha, China in September, 2014. 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 2014  aims to provide a forum for people from
academia and industry to communicate their latest results on theoretical
advances in  software engineering.

 

TASE 2014 is the 8th 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). The proceedings of the
TASE symposia were all published by the IEEE Computer Society Press.

 

TOPICS

 

The symposium is devoted to 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

 

SUBMISSION

 

Submission should be done through the TASE 2014 submission page, handled by
the EasyChair conference system:

 

    https://www.easychair.org/conferences/?conf=tase2014

 

As in previous years, the proceedings of the conference are planned to be
published by the IEEE Computer Society Press. Papers 

must be written in English and not exceed 8 pages in Two-Column IEEE format.

 

IMPORTANT DATES

 

         Abstract submission:    14 March 2014 (23h59 GMT)

         Paper submission:       21 March 2014 (23h59 GMT)

         Notification:           28 April 2014

         Camera-ready:           19 May 2014

         Conference:             1-3 September 2014

 

GENERAL CHAIR

 

Jifeng He           (East China Normal University, China)

 

PROGRAM CO-CHAIRS

 

Ji Wang             (National University of Defense Technology, China)

Martin Leucker      (University of Lubeck, Germany)

 

STEERING COMMITTE

 

Keijiro Araki       (Kyushu University, Japan)


Shengchao Qin       (Teesside University, UK)

Jifeng He           (East China Normal University, China) 

Huibiao Zhu         (East China Normal University, China)

Michael Hinchey     (Lero, Ireland)

 

PROGRAM COMMITTEE

 

Earl Barr           (University College London, UK)

Nikolaj Bjorner     (Microsoft Research, USA)

Vidroha Debroy      (Hudson Alley Software, USA)

Zhenhua Duan        (Xidian University, China)

Xinyu Feng          (University of Science and Technology of China, China)

Peter Habermehl     (Liafa, Paris 7, France)

Dang Van Hung       (Vietnam National University, Vietnam)

Lingxiao Jiang      (Singapore Management University, Singapore)

Xiaoshan Li         (University of Macau, Macau)

Xuandong Li         (Nanjing University, China)

Shaoyin Liu         (Hosei University, Japan)

Xiaoqing(Frank) Liu (Missouri University of Science and Technology, USA)

Michael Lyu         (Chinese University of Hong Kong, China)

Xiaoguang Mao       (National University of Defense Technology, China)

Huaikou Miao        (Shanghai University, China)

Antoine Mine        (Ecole Normale Superieure Paris, France)

Paritosh K. Pandya  (Tata Institute of Fundamental Research, India)

Jun Pang            (University of Luxembourg, Luxembourg)

Sungwoo Park        (Pohang University of Science and Technology, Korea)

Geguang Pu          (East China Normal University, China)

Shengchao Qin       (Teesside University, UK)

Zongyan Qiu         (Peking University, China)

Cesar Sanchez       (IMDEA Software Institute, Spain)

Axel Simon          (Technical University of Munich, Germany)

Volker Stolz        (University of Oslo, Norway)

Yih-Kuen Tsay       (National Taiwan University, Taiwan)

Tomas Vojnar        (Brno University of Technology, Czech Republic)

Hai Wang            (Aston University, UK)

Yi Wang             (Uppsala University, Sweden)

Eric Wong           (UT-Dallas, USA)

Yingfei Xiong       (Peking University, China)

Hongli Yang         (Beijing University of Technology, China)

Naijun Zhan         (Chinese Academy of Sciences, China)

Hongyu Zhang        (Tsinghua University, China)

Jianjun Zhao        (Shanghai Jiao Tong University, China)

Hong Zhu            (Oxford Brookes University, UK)

Huibiao Zhu         (East China Normal University, China)

 

ORGANIZING CHAIR

 

Wei Dong            (National University of Defense Technology, China)

 

PUBLICITY CHAIR

 

Yanjun Wen          (National University of Defense Technology, China)

 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140308/89767669/attachment-0001.html>