posted by user: tiancong || 13861 views || tracked by 32 users: [display]

TASE 2011 : TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering


Conference Series : Theoretical Aspects of Software Engineering
When Aug 29, 2011 - Aug 31, 2011
Where Xi'an, China
Abstract Registration Due Apr 1, 2011
Submission Deadline Apr 8, 2011
Notification Due May 6, 2011
Final Version Due May 16, 2011
Categories    software engineering   program analysis   specification and verification   software testing

Call For Papers

The 5th IEEE Theoretical Aspects of Software Engineering Conference (TASE 2011), sponsored by IEEE CS and IFIP, will be held in Xi’an, China in August, 2011.

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 2011 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering.

TASE 2011 is the fifth in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. The second TASE conference was held in Nanjing, China, in June 2008. The third TASE conference was held in Tianjin, China, in June 2009, and the fourth TASE conference was held in Taipei, China, in October 2010.

TASE 2011 will be held in Xi’an, China. Xi'an, the eternal city, records the great changes of the Chinese nation just like a living history book. So far, Xi'an enjoys equal frame with Athens, Cairo, and Rome as one of the four major ancient civilization capitals. It has many places of interest, such as Terra-cotta Warriors and Horses, City Wall, Bell Tower, Big Wild Goose Pagoda and so on. International Horticultural Exposition will be held in Xi'an in 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
• Embedded and Real-Time Systems
• Program Analysis
• Software Architectures and Design
• Component-Based Software Engineeringg
• Reverse Engineering and Software Maintenance
• Aspect and Object Orientation
• Type System and Theory
• Dependable Concurrency
• Specification and Verification
• Software Testing
• Model-Driven Engineering
• Software Processes and Workflows
• Software Safety, Security and Reliability
• Service-Oriented Computing
• Semantic Web and Web Services
• Program Logics and Calculus
• Software Model Checking
Submission should be done through the TASE 2011 submission page, handled by the EasyChair conference system. The authors are requested to submit the abstract (100 - 300 words) by March 21, 2009, and the paper (up to 8 pages) by March 28, 2009. To do submission, visit EasyChair and register as a new member. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. When submitting the abstract, tick the "Abstract Only" box nearly at the end of the page. After submission, the authors can update abstracts and papers as well as the authors' information using the EasyChair system until the deadline. The proceedings of the conference will 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
March 21, 2011: Title and abstract submission deadline (Extended to April 1st)
March 28, 2011: Paper submission deadline (Extended to April 8th)
April 25, 2011: Acceptance/rejection notification (Extended to May 6th)
May 16, 2011: Final version due
August 29 - 31, 2011: TASE 2011
Luke ong (Oxford University, UK)
Zhenhua Duan (Xidian University, China)

Related Resources

AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
SEAS 2020   9th International Conference on Software Engineering and Applications
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
IEEE--ICARA--Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
ISPR 2020   6th International Conference on Image and Signal Processing
EDLTMBE 2020   Emerging Deep Learning Theories and Methods for Biomedical Engineering - IEEE Access (IF: 4.098)
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus