[Haskell] TASE 2014：CALL FOR PARTICIPATION

[Huibiao Zhu]

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

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/

 

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