<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
        {font-family:SimSun;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:SimSun;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        text-align:justify;
        text-justify:inter-ideograph;
        font-size:10.5pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle19
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle20
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle21
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'><div class=WordSection1><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>*************************************************************************************<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; TASE 2011<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>5th IEEE International Conference on Theoretical Aspects of Software Engineering<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ***&nbsp; Call For Papers&nbsp; ***<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; August 29-31, 2011<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Xi'an, China<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; http://ictt.xidian.edu.cn/TASE2011/<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp; The deadlines for paper submission have been extended.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Abstract Submission: 1 April, 2011 (New)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Full-paper submission: 8 April, 2011 (New)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>*************************************************************************************<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), sponsored by IEEE CS and IFIP, will be held in Xi'an, China in August, 2011. <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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&nbsp; 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.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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, Xian 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.<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Topics of Interest<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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:<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Requirements Engineering <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Embedded and Real-Time Systems <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Program Analysis <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software Architectures and Design <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Component-Based Software Engineeringg <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Reverse Engineering and Software Maintenance <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Aspect and Object Orientation <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Type System and Theory <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Dependable Concurrency<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Automata and Temporal/Modal Logic<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Petri Nets<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Domain Theory<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Type Theory<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Process Algebra and Concurrency<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Specification and Verification <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software Testing <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Model-Driven Engineering <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software Processes and Workflows<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software Safety, Security and Reliability<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Service-Oriented Computing<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Semantic Web and Web Services<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Program Logics and Calculus <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Software Model Checking<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span style='font-size:10.0pt;font-family:SimSun'>* Probability and Randomization<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Game Theory<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Theorem Proving<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Static Analysis and Model Checking <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>* Testing, Simulation and other Dynamic Analyses<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'> <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Submission<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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 1 April, 2011 (New), and the paper (up to 8 pages) by 8 April, 2011 (New).<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>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 &quot;Abstract Only&quot; 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. Authors should use the IEEE latex style files for the two-column proceedings format. The style files and instructions for using them is at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/. <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>(The file bare_conf.tex at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/ may be used as a template).<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Submissions not accepted to the proceedings may be considered for poster presentation. <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Important Dates<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>1 April, 2011: Title and abstract submission deadline (New)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>8 April, 2011: Paper submission deadline (New)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>6 May, 2011: Acceptance/rejection notification (New)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>May 16, 2011: Final version due<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>August 29 - 31, 2011: TASE 2011<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Co-Chairs<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Luke Ong (Oxford University, UK)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>Zhenhua Duan (Xidian University, China)<o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'> <o:p></o:p></span></p><p class=MsoNormal align=left style='text-align:left;text-autospace:none'><span lang=EN-US style='font-size:10.0pt;font-family:SimSun'>&nbsp;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p></div></body></html>