<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:\5B8B\4F53;
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:"\@\5B8B\4F53";
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-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
/* Page Definitions */
@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><span lang=EN-US>*************************************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> TASE 2011<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>5th IEEE International Conference on Theoretical Aspects of Software Engineering<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> *** Call For Papers ***<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> August 29-31, 2011<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Xi'an, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> http://ictt.xidian.edu.cn/TASE2011/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*************************************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Large scale software systems and the Internet are of growing concern to academia and industry. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>This poses new challenges to the various aspects of software engineering, for instance, the reliability <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>of software development, web-oriented software architecture and aspect and object-orientation techniques. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>As a result, new concepts and methodologies are required to enhance the development of software engineering <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>from theoretical aspects. TASE 2011 is a forum for researchers from academia, industry and government to present <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>ideas, results, and ongoing research on theoretical advances in software engineering.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>TASE 2011 is the fifth in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>in Shanghai, China, in June 2007. The second TASE conference was held in Nanjing, China, in June 2008. The third <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>TASE 2011 will be held in Xi'an, China. Xi'an, the eternal city, records the great changes of the Chinese nation just like <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>a living history book. So far, Xian enjoys equal frame with Athens, Cairo, and Rome as one of the four major ancient civilization <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>capitals. It has many places of interest, such as Terra-cotta Warriors and Horses, City Wall, Bell Tower, Big Wild Goose Pagoda and <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>so on. International Horticultural Exposition will be held in Xi'an in 2011.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Topics of Interest<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>software engineering. Topics of interest include, but are not limited to:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>* Requirements Engineering <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Embedded and Real-Time Systems <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Program Analysis <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Software Architectures and Design <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Component-Based Software Engineeringg <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Reverse Engineering and Software Maintenance <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Aspect and Object Orientation <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Type System and Theory <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Dependable Concurrency<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Automata and Temporal/Modal Logic<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Petri Nets<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Domain Theory<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Type Theory<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Process Algebra and Concurrency<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Specification and Verification <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Software Testing <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Model-Driven Engineering <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Software Processes and Workflows<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Software Safety, Security and Reliability<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Service-Oriented Computing<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Semantic Web and Web Services<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Program Logics and Calculus <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Software Model Checking<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Probability and Randomization<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Game Theory<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Theorem Proving<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Static Analysis and Model Checking <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>* Testing, Simulation and other Dynamic Analyses<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submission<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Submission should be done through the TASE 2011 submission page, handled by the EasyChair conference system. The authors <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>are requested to submit the abstract (100-300 words) by March 21, 2011, and the paper (up to 8 pages) by March 28, 2011.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>To do submission, visit EasyChair and register as a new member. A password will be sent by e-mail shortly. Using that <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>password, log-in and proceed to the New Submission page, where the detailed instructions can be found.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>When submitting the abstract, tick the "Abstract Only" box nearly at the end of the page.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>After submission, the authors can update abstracts and papers as well as the authors' information using the EasyChair system <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>until the deadline. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>written in English and not exceed 8 pages in Two-Column IEEE format. Authors should use the IEEE latex style fyles for the <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>two-column pro- ceedings 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><span lang=EN-US>(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><span lang=EN-US>Submissions not accepted to the proceedings may be considered for poster presentation. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Important Dates<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>March 21, 2011: Title and abstract submission deadline<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>March 28, 2011: Paper submission deadline<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>April 25, 2011: Acceptance/rejection notification<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>May 16, 2011: Final version due<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>August 29 - 31, 2011: TASE 2011<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Luke Ong (Oxford University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zhenhua Duan (Xidian University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>