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

CALL FOR PARTICIPATION

TASE 2014: 8th Theoretical Aspects of Software Engineering Symposium

1-3 September 2014, Changsha, China

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

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

----------------

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 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 2014 symposium will be published by the IEEE Computer Society Press.

-----------

VENUE

-----------

TASE 2014 will be held at Yannian Century Hotel, Changsha, China. Changsha is the capital and largest city of Hunan province in south-central China, located on the lower reaches of the Xiang River, a branch of the Yangtze River. Read more about Changsha at: http://wikitravel.org/en/Changsha

-----------------------

REGISTRATION

-----------------------

Registration fees and deadlines are detailed below.  

 Type       Deadline               Fees

 Early     By July 10         RMB 4000(USD 650)

 Late     After July 10       RMB 4600(USD 750)

Student   Anytime       RMB 3000(USD 500)

The details of registration can be found at: http://www.nudt.edu.cn/tase2014/reg.htm

------------------------------------

ORGANIZING COMMITTE

------------------------------------

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)

ORGANIZING CHAIR

Wei Dong (National University of Defense Technology, China)

-----------------------------

INVITED SPEAKERS

-----------------------------

- Klaus Havelund (NASA JPL, USA)

Data Automata in Scala

- Axel Legay (INRIA, France)

 PLASMA-lab: a Flexible, Distributable Statistical Model Checking Library

- Kwangkeun Yi (Seoul National University, Korea)

 Sound, Precise, and Scalable Static Analysis

------------------------------------

FURTHER INFORMATION

------------------------------------

More information about TASE 2014 is available from the symposium web site: http://www.nudt.edu.cn/tase2014/