<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=gb2312">
<META content="MSHTML 6.00.2900.3243" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT size=2>
<DIV><FONT size=2>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">(Apologies if you have already received this 
message.)</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
TASE 2008<BR>2nd IEEE Symposium on Theoretical Aspects of Software 
Engineering</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Nanjing, 
China<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
June 17-19, 
2008<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<A title=http://cs.nju.edu.cn/tase08/index.html 
href="http://cs.nju.edu.cn/tase08/index.html">http://cs.nju.edu.cn/tase08/index.html</A></SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">Large scale software systems and 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 &amp; 
object-orientation techniques. As a result, new concepts and methodologies are 
required to enhance the development of software engineering from theoretical 
aspects. TASE 2008 is a forum for researchers from academia, industry and 
government to present ideas, results, and ongoing research on theoretical 
advances in software engineering.</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">TASE 2008 is the second in a series of conference, 
sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, 
China, in June 2007.&nbsp; </SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">Topics of Interest: </SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">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: 
</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">* Requirements Engineering <BR>* Specification and 
Validation <BR>* Software Testing <BR>* Component-based Development<BR>* Model 
Checking for Software<BR>* Software Processes and Workflows<BR>* Software 
Frameworks and Middleware<BR>* Software Architectures and Design <BR>* Software 
safety and reliability<BR>* Reverse Engineering and Software Maintenance <BR>* 
Aspect and Objected –orientation Techniques <BR>* Embedded and Real-time 
Software <BR>* Service-oriented Computing and Web Services<BR>* Model-driven 
Development<BR>* Coordination and Feature Interaction <BR>* Parallel and 
Distributed Computing <BR>* Logics of Programs<BR>* Program Analysis <BR>* 
Semantics and Design of Programming Languages <BR>* Type 
Theory</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">Submission Guidelines:</SPAN></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=2><SPAN lang=EN-US 
style="FONT-SIZE: 10pt">Authors should submit and register their paper through 
our web-interface at:<BR><A 
title=http://www.easychair.org/conferences/?conf=TASE2008 
href="http://www.easychair.org/conferences/?conf=TASE2008">http://www.easychair.org/conferences/?conf=TASE2008</A> 
by January 28, 2008. <BR>Submissions must not have been published or be 
concurrently considered for publication elsewhere. All submissions will be 
reviewed by at least three members of the program committee. They will be judged 
on the basis of originality, contribution to the field, technical and 
presentation quality, and relevance to the conference. 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 IEEE format. Instructions for 
authors are available at <A title=http://computer.org/cspress/instruct.htm 
href="http://computer.org/cspress/instruct.htm">http://computer.org/cspress/instruct.htm</A>. 
Latex document classes can be downloaded from the website at <BR><A 
title=ftp://pubftp.computer.org/Press/Outgoing/proceedings/ 
href="ftp://pubftp.computer.org/Press/Outgoing/proceedings/">ftp://pubftp.computer.org/Press/Outgoing/proceedings/</A>.</SPAN></FONT></P><FONT 
face="Times New Roman" size=2><SPAN lang=EN-US style="FONT-SIZE: 10pt">
<P class=MsoNormal><FONT face=宋体></FONT><FONT face=宋体></FONT><FONT 
face=宋体></FONT><FONT face=宋体></FONT><BR>Important Dates: </P>
<P class=MsoNormal>* January 21, 2008: Title and abstract submission 
deadline<BR>* January 28, 2008: Paper submission deadline<BR>* March 10, 2008: 
Acceptance/rejection notification<BR>* March 23, 2008: Camera-ready version 
due<BR>* June 17-19, 2008: TASE 2008</P>
<P class=MsoNormal>Organization:</P>
<P class=MsoNormal>General Co-Chairs:&nbsp;&nbsp; Jifeng He, East China Normal 
University, 
China<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Jian Lu, Nanjing University, China<BR>Program Co-chairs:&nbsp;&nbsp; Jim Davies, 
Oxford University, UK<BR>         &nbsp;&nbsp; Xuandong Li, Nanjing University, 
China</P>
<P class=MsoNormal>Local Organization Chair:&nbsp; Linzhang Wang, Nanjing 
University, China</P>
<P class=MsoNormal>Program Committee:</P>
<P class=MsoNormal>Bernhard Aichernig (Graz University of Technology, 
Austria)<BR>Keijiro Araki&nbsp; (Kyzushu University, Japan)<BR>Farhad Arbab (CWI 
and Leiden University, The Netherlands)<BR>Jonathan Bowen (King's College 
London, UK)<BR>Michael Butler (University of Southampton, UK)<BR>Ana Cavalcanti 
(University of York, UK)<BR>Jim Davies (Oxford University, UK)<BR>Geoff Dromey 
(Griffith University, Australia)<BR>Jin Song Dong (National University of 
Singapore, Singapore)<BR>Zhenhua Duan (Xi’dian University, China)<BR>Colin Fidge 
(Queensland University of Technology, Australia)<BR>Dieter Gollmann (Hamburg 
University of Technology, Germany)<BR>Kung-Kiu&nbsp; Lau (Manchester University, 
UK)<BR>Jing Liu (East China Normal University, China)<BR>Shaoying Liu&nbsp; 
(Hosei University, Japan)<BR>Zhiming Liu (UNU/IIST, Macau, China)<BR>Annabelle 
Mclver (Macquarie University, Australia)<BR>Hong Mei (Peking University, China) 
<BR>Huaikou Miao (Shanghai University, China)<BR>Masoud Mohammadian(University 
of Canberra, Australia)<BR>Shankar Natarajan (SRI International, 
USA)<BR>Nimal&nbsp; Nissanke (London South Bank University, UK)<BR>Geguang 
Pu(East China Normal University, China)<BR>Shengchao Qin (Durham University, 
UK)<BR>Zongyan Qiu (Peking University, China)<BR>Zhong Shao (Yale University, 
USA)<BR>Joseph Sifakis (Verimag, France)<BR>Zhengdong Su (University of 
California at Davis, USA)<BR>Margus Veanes (Microsoft, USA)<BR>Sergiy Vilkomir 
(University of Limerick, Ireland)<BR>Farn Wang (National Taiwan University, 
Taiwan)<BR>Ji Wang (Changsha Institute of Technology, China)<BR>Linzhang 
Wang(Nanjing University, China)<BR>Heike Wehrheim (University of Paderborn, 
Germany)<BR>Jim Woodcock (University of York, UK)<BR>Dianxiang Xu(North Dakota 
State University, USA)<BR>Wang Yi (Uppsala University, Sweden)<BR>Gianluigi 
Zavattaro (University of Bologna, Italy)<BR>Jian Zhang (Institute of Software, 
China)<BR>Jianhua Zhao (Nanjing University, China)<BR>Huibiao Zhu (East China 
Normal University, China) </P>
<P class=MsoNormal>Steering Program Committee</P>
<P class=MsoNormal>Michael Hinchey(Chair), USA <BR>Keijiro 
Araki,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Japan&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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Jifeng 
He,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
China&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;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Zhiming 
Liu,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Macau<BR>Mike 
Reed,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Macau&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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>Huibiao 
Zhu,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; China</P>
<P class=MsoNormal>Keynote Speakers</P>
<P class=MsoNormal>Edmund M. Clarke (Carnegie Mellon University)<BR>Joost-Pieter 
Katoen (RWTH Aachen University)</P>
<P class=MsoNormal><FONT face=宋体></FONT><FONT face=宋体></FONT><BR><?xml:namespace 
prefix = o ns = "urn:schemas-microsoft-com:office:office" 
/><o:p></o:p></SPAN></FONT><FONT 
face="宋体, MS Song">&nbsp;</FONT></P></FONT></DIV></FONT></DIV></BODY></HTML>