[FM-India] TASE 2015: Call for Paper, Nanjing 12 - 14 September
Madhavan Mukund
madhavan at cmi.ac.in
Wed Jan 21 07:37:22 IST 2015
Date: Wed, 21 Jan 2015 09:56:20 +0800
From: jun sun <sunjun at sutd.edu.sg>
Subject: TASE 2015: Call for Paper, Nanjing 12 - 14 September
TASE 2015 - Preliminary CALL FOR PAPERS
******************************************************************
The 9th International Symposium on
Theoretical Aspects of Software Engineering
(TASE 2015)
12-14 September 2015, Nanjing, China
http://tase2015.nuaa.edu.cn
For more information email: tase2015 at easychair.org
******************************************************************
--------
OVERVIEW
--------
The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will
be held in Nanjing, China in September, 2015.
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.
------
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 2015 submission page, handled by the
EasyChair conference system:
https://www.easychair.org/conferences/?conf=tase2015
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: 7 March 2015 (23h59 GMT)
Paper submission: 14 March 2015 (23h59 GMT)
Notification: 23 May 2015
Camera-ready: 13 June 2015
Conference: 12-14 September 2015
-------------
GENERAL CHAIR
-------------
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)
-----------------
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 COMITTIEE
-----------------
TBA
----------------
ORGANIZING CHAIR
----------------
Ou Wei (Nanjing University of Aeronautics and Astronautics,
China)
----------------
PUBLICITY CHAIRS
----------------
Jun Hun (Nanjing University of Aeronautics and Astronautics,
China)
Yu Zhou (Nanjing University of Aeronautics and Astronautics,
China)
Jun Pang (University of Luxembourg)
More information about the FMIndia
mailing list