<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 Section1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.Section1
{page:Section1;}
-->
</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=Section1>
<p class=MsoNormal><span lang=EN-US>4th IEEE Symposium 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>August 25 - 27, 2010, Taipei, Taiwan, ROC<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>IEEE TASE 2010 aims to become a forum for
the presentation and discussion of new fundamental ideas in <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>software engineering of large-scale
systems. Software engineering of such systems has usually been viewed <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>as the study of principles, guidelines, and
empirical rules. To manage the complexity of large-scale software<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US> projects, various theories have been
proposed. The first three TASE conferences were held in Shanghai, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>China in June 2007; in Nanjing, China in
June 2008; and in Tianjin, China in July 2009. This year, it will<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US> be moved to the beautiful campus of
National Taiwan University. <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>Scope of interests includes, but are not
limited to, the following: automata, logics, set theory, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>type theory, process algebrae, probability,
game theory, theorem-proving, model-checking, simulation-checking, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>testing, and simulation. Innovative
applications of such theories to the following and other related aspects <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>of software engineering are also highly
solicited to IEEE TASE 2010: requirements engineering, specification, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>model-driven engineering, software
architectures and synthesis, aspect and object orientation, embedded and
real-time systems, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>software processes and workflows,
component-based software engineering, software safety, security and
reliability, <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>reverse engineering and software
maintenance, service-oriented computing, semantic web and web services,
dependable concurrency,<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US> program analysis, software modeling,
software simulation, software testing, and software model checking. <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>Submissions should be in IEEE format and no
more than 10 pages for regular papers and 4 pages for poster papers. <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Proceedings will be published by IEEE. <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><o:p> </o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Regular Papers: April 2, 2010: Title
and abstract submission deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
April 9, 2010: Paper submission deadline (23:59, Apia Time, GMT-11)?<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
May 17, 2010: Acceptance/rejection notification?<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
May 31, 2010: Camera-ready version and signed IEEE copyright form due<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>Poster Papers: April 2, 2010:
Poster proposal (extended abstract) submission deadline<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
May 17, 2010: Acceptance/rejection notification?<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
May 31, 2010: Camera-ready version and signed IEEE copyright form due<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>
August 20, 2010: A1-Size Poster (for backup) Due<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>Organizers:<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>General Chair:<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Farn Wang (National Taiwan Univ.)<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>Finance Chair:<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Hsu-Chun Yen (National Taiwan Univ.)<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>Local Arrangement:<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Churn-Jung Liau (Academia Sinica)<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>Program Cochairs: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jing Liu (East China Normal Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Doron A. Peled (Bar Ilan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Bow-Yaw Wang (Academia Sinica)<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>Steering Committee:<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Keijiro Araki (Kyushu Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jifeng He (East China Normal Univ.a)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Michael Hinchey (Lero, IE, chair)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhiming Liu (UNU/IIST)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huibiao Zhu (East China Normal Univ.)<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>Program Committee: <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Erika Abraham (RWTH Aachen Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Keijiro Araki (Kyzushu Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Dirk Beyer (UC-Berkely)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jonathan Bowen (King's College London)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Marius Bozga (Univ. of Paris)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jim Davies (Oxford University)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jin Song Dong (Singapore Nat’l Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhenhua Duan (Xi’dian Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>John Hatcliff (Kansas State Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Teruo Higashino (Osaka Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Changjun Jiang (Tongji Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jie-Hong R. Jiang (Nat’l Taiwan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhi Jin (Beijing Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Kung-Kiu Lau (Manchester Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jonathan Lee (National Central Univ.) <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Xuandong Li (Nanjing Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Deron Liang (National Central Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Lin Liu (Tsinghua Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shaoying Liu (Hosei Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Tun Lu (Fudan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Frederic Mallet (INRIA)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Hong Mei (Beijing Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huaikou Miao (Shanghai Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Doron A. Peled (Bar-Ilan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Geguang Pu (East China Normal Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shengchao Qin (Durham Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zongyan Qiu (Beijing Univ.) <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Sriram Rajamani (Microsoft)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Volker Stolz (UNU/IIST)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Zhong Shao (Yale Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jing Sun (University of Auckland)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Tetsuo Tamai (Univ. of Tokyo)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Yih-Kuen Tsay (Nat’l Taiwan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Margus Veanes (Microsoft)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Ji Wang (Changsha Inst. of Technology)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Linzhang Wang (Nanjing Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jim Woodcock (Univ. of York)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Hsu-Chun Yen (National Taiwan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Wang Yi (Uppsala Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Shi Ying (Wuhan Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Gianluigi Zavattaro (Univ. of Bologna)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jian Zhang (Chinese Academy of Sc.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Miaomiao Zhang (Tongji Univ.)<o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Jianjun Zhao (Shanghai Jiaotong Univ.) <o:p></o:p></span></p>
<p class=MsoNormal><span lang=EN-US>Huibiao Zhu (East China Normal Univ.)<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>