****************************************************************** 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/
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell