posted by user: jpbowen || 17249 views || tracked by 32 users: [display]

TASE 2012 : 6th IEEE International Symposium on Theoretical Aspects of Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Theoretical Aspects of Software Engineering
 
Link: http://selab.bjut.edu.cn/tase2012
 
When Jul 4, 2012 - Jul 6, 2012
Where Beijing, China
Abstract Registration Due Jan 13, 2012
Submission Deadline Jan 20, 2012
Notification Due Mar 23, 2012
Final Version Due Apr 13, 2012
Categories    computer science   software engineering   formal methods   theoretical computer science
 

Call For Papers

TASE 2012 - CALL FOR PAPERS

***********************************************************
The Sixth IEEE International Symposium on
Theoretical Aspects of Software Engineering
(TASE 2012)
4-6 July 2012, Beijing, China
http://selab.bjut.edu.cn/tase2012
For more information email: tase2012@bjut.edu.cn
***********************************************************

Large scale software systems and the Internet are of growing
concern to academia and industry. This poses new challenges to
the various aspects of software engineering, for instance, the
reliability of software development, Web-oriented software
architecture and aspect and object-orientation techniques. As a
result, new concepts and methodologies are required to enhance
the development of software engineering from theoretical
aspects. TASE 2012 is a forum for researchers from academia,
industry and government to present ideas, results, and ongoing
research on theoretical advances in software engineering.

TASE 2012 is the sixth in a series of symposiums, sponsored by
IEEE CS and IFIP. The first TASE symposium was held in
Shanghai, China, in June 2007. The second TASE symposium was
held in Nanjing, China, in June 2008. The third TASE symposium
was held in Tianjin, China, in July 2009. The fourth TASE
symposium was held in Taipei, in August 2010, and the fifth TASE
symposium was held in Xi'an, China, in August 2011.

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 Computing
* Semantic Web and Web Services
* Type System and Theory
* Program Logics and Calculus
* Dependable Concurrency
* Software Model Checking
* Probability and Randomization

The proceedings will be published by IEEE Computer Society
Press. It is envisaged to invite the best tool-related
contributions to a Special Section of STTT, Springer Verlag's
Intern. Journal on Software Tools for Technology Transfer.

General Co-Chairs:
Jifeng He (East China Normal University, China)
Baocai Yin (Beijing University of Technology, China)

Program Co-Chairs:
Tiziana Margaria (University Potsdam, Germany)
Zongyan Qiu (Peking University, China)
Hongli Yang (Beijing University of Technology, China)

Organizing Chair:
Husheng Liao (Beijing University of Technology, China)

Local Arrangement Chair:
Dan Wang (Beijing University of Technology, China)

Important Dates:
January 13, 2012: Title and abstract submission deadline
January 20, 2012: Paper submission deadline
March 23, 2012: Acceptance/rejection notification
April 13, 2012: Camera-ready version due
July 4-6, 2012: TASE 2012

Related Resources

TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
CISE 2025   The 15th Int'l Conference on Computational Intelligence and Software Engineering
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE IRCE 2025   IEEE--2025 The 8th International Conference on Intelligent Robotics and Control Engineering (IRCE 2025)
PEET 2025   IEEE--2025 International Conference on Power Engineering and Electrical Technology (PEET 2025)