posted by user: hossein_haeri || 4464 views || tracked by 20 users: [display]

TASE 2014 : The 8th International Symposium on Theoretical Aspects of Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Theoretical Aspects of Software Engineering
 
Link: http://www.nudt.edu.cn/tase2014/index.htm
 
When Sep 1, 2014 - Sep 3, 2014
Where Changsha, China
Abstract Registration Due Feb 28, 2014
Submission Deadline Mar 7, 2014
Notification Due Apr 28, 2014
Final Version Due May 19, 2014
Categories    software engineering   programming languages
 

Call For Papers

The 8th International Symposium on Theoretical Aspects of Software Engineering

September 1-3, 2014, Changsha, China
TASE 2014 - Call for Papers


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 are planned to be published by the IEEE Computer Society Press.

Topics of Interest


Authors are invited to submit high quality technical papers describing original and unpublished work in all 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


General Co-Chairs:


Jifeng He (East China Normal University, CN)

Program Co-Chairs:


Ji Wang (National University of Defense Technology, CN)

Martin Leucker (University of Lübeck, DE)

Organizing Chair:


Wei Dong (National University of Defense Technology, CN)

Publicity Chair:


Yanjun Wen (National University of Defense Technology, CN)

Program Committee:


(TBD)

Important Dates:

Abstract submission : 28 February 2014 (23h59 GMT)
Paper submission : 07 March 2014 (23h59 GMT)
Notification : 28 April 2014
Camera-ready : 19 May 2014
Conference : 1-3 September 2014

Related Resources

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
JSE 2020   9th International Conference on Software Engineering and Applications
SEAMS 2021   Software Engineering for Adaptive and Self-Managing Systems
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
ICTAC 2020   17th International Colloquium on Theoretical Aspects of Computing
COMIT 2020   4th International Conference on Computer Science and Information Technology