<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:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=gb2312">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="PlaceType"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="PlaceName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="City"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="country-region"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="State"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="place"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
 /* Font Definitions */
 @font-face
        {font-family:;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
        {font-family:"\@";
        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:"Times New Roman";}
a:link, span.MsoHyperlink
        {color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {color:purple;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:Arial;
        color:windowtext;}
 /* Page Definitions */
 @page Section1
        {size:595.3pt 841.9pt;
        margin:72.0pt 90.0pt 72.0pt 90.0pt;
        layout-grid:15.6pt;}
div.Section1
        {page:Section1;}
-->
</style>

</head>

<body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'>

<div class=Section1 style='layout-grid:15.6pt'>

<p class=MsoNormal style='layout-grid-mode:char'><font size=2
face="Times New Roman"><span lang=EN-US style='font-size:10.0pt'>(Apologies if
you have already received this message.)<o:p></o:p></span></font></p>

<p class=MsoNormal style='layout-grid-mode:char'><font size=2
face="Times New Roman"><span lang=EN-US style='font-size:10.0pt'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<o:p></o:p></span></font></p>

<p class=MsoNormal style='layout-grid-mode:char'><font size=2
face="Times New Roman"><span lang=EN-US style='font-size:10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
TASE 2008<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>2nd IEEE Symposium on Theoretical Aspects of Software
Engineering<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<st1:place w:st="on"><st1:City w:st="on">Nanjing</st1:City>, <st1:country-region
 w:st="on">China</st1:country-region></st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>&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<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
http://cs.nju.edu.cn/tase08/index.html<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>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.<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>TASE 2008 is the second in a series of conference,
sponsored by IEEE CS and IFIP. The first TASE conference was held in <st1:place
w:st="on"><st1:City w:st="on">Shanghai</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>,
in June 2007.&nbsp; <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Topics of Interest: <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>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></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Requirements Engineering <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Specification and Validation <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Software Testing <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Component-based Development<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Model Checking for Software<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Software Processes and Workflows<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Software Frameworks and Middleware<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Software Architectures and Design <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Software safety and reliability<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Reverse Engineering and Software Maintenance <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Aspect and Objected Corientation Techniques <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Embedded and Real-time Software <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Service-oriented Computing and Web Services<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Model-driven Development<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Coordination and Feature Interaction <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Parallel and Distributed Computing <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Logics of Programs<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Program Analysis <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Semantics and Design of Programming Languages <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* Type Theory<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Submission Guidelines:<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Authors should submit and register their paper through
our web-interface at:<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>http://www.easychair.org/conferences/?conf=TASE2008 by
January 28, 2008. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>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 http://computer.org/cspress/instruct.htm. Latex
document classes can be downloaded from the website at <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>ftp://pubftp.computer.org/Press/Outgoing/proceedings/.<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Important Dates: <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* January 21, 2008: Title and abstract submission
deadline<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* January 28, 2008: Paper submission deadline<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* March 10, 2008: Acceptance/rejection notification<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* March 23, 2008: Camera-ready version due<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>* June 17-19, 2008: TASE 2008<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Organization:<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>General Co-Chairs:&nbsp;&nbsp; <st1:City w:st="on">Jifeng
 He</st1:City>, <st1:State w:st="on">East</st1:State> <st1:country-region
w:st="on">China</st1:country-region> Normal University, <st1:country-region
w:st="on"><st1:place w:st="on">China</st1:place></st1:country-region><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Jian Lu, <st1:place w:st="on"><st1:City w:st="on">Nanjing University</st1:City>,
 <st1:country-region w:st="on">China</st1:country-region></st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Program Co-chairs:&nbsp;&nbsp; Jim Davies, <st1:place
w:st="on"><st1:City w:st="on">Oxford University</st1:City>, <st1:country-region
 w:st="on">UK</st1:country-region></st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=><span style='font-size:9.0pt;
font-family:'></span></font><font size=1 face=Arial><span
lang=EN-US style='font-size:9.0pt;font-family:Arial'>&nbsp;&nbsp; Xuandong Li, <st1:place
w:st="on"><st1:City w:st="on">Nanjing University</st1:City>, <st1:country-region
 w:st="on">China</st1:country-region></st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Local Organization Chair:&nbsp; Linzhang Wang, <st1:place
w:st="on"><st1:City w:st="on">Nanjing University</st1:City>, <st1:country-region
 w:st="on">China</st1:country-region></st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Program Committee:<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Bernhard Aichernig (<st1:City w:st="on">Graz</st1:City>
<st1:place w:st="on"><st1:City w:st="on">University of Technology</st1:City>, <st1:country-region
 w:st="on">Austria</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Keijiro Araki&nbsp; (<st1:place w:st="on"><st1:City
 w:st="on">Kyzushu University</st1:City>, <st1:country-region w:st="on">Japan</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Farhad Arbab (CWI and <st1:PlaceName w:st="on">Leiden</st1:PlaceName>
<st1:PlaceType w:st="on">University</st1:PlaceType>, The <st1:country-region
w:st="on"><st1:place w:st="on">Netherlands</st1:place></st1:country-region>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jonathan Bowen (King's College <st1:place w:st="on"><st1:City
 w:st="on">London</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Michael Butler (<st1:place w:st="on"><st1:City w:st="on">University
  of Southampton</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Ana Cavalcanti (<st1:place w:st="on"><st1:City w:st="on">University
  of York</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jim Davies (<st1:place w:st="on"><st1:City w:st="on">Oxford
  University</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Geoff Dromey (<st1:place w:st="on"><st1:City w:st="on">Griffith
  University</st1:City>, <st1:country-region w:st="on">Australia</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jin Song Dong (National <st1:place w:st="on"><st1:City
 w:st="on">University of Singapore</st1:City>, <st1:country-region w:st="on">Singapore</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zhenhua Duan (Xidian University, <st1:country-region
w:st="on"><st1:place w:st="on">China</st1:place></st1:country-region>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Colin Fidge (<st1:State w:st="on">Queensland</st1:State>
<st1:place w:st="on"><st1:City w:st="on">University of Technology</st1:City>, <st1:country-region
 w:st="on">Australia</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Dieter Gollmann (<st1:State w:st="on">Hamburg</st1:State>
<st1:place w:st="on"><st1:City w:st="on">University of Technology</st1:City>, <st1:country-region
 w:st="on">Germany</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Kung-Kiu&nbsp; Lau (<st1:place w:st="on"><st1:City
 w:st="on">Manchester University</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jing Liu (<st1:place w:st="on"><st1:City w:st="on">East
  China Normal University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Shaoying Liu&nbsp; (<st1:place w:st="on"><st1:City
 w:st="on">Hosei University</st1:City>, <st1:country-region w:st="on">Japan</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zhiming Liu (UNU/IIST, <st1:place w:st="on"><st1:City
 w:st="on">Macau</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Annabelle Mclver (<st1:place w:st="on"><st1:City
 w:st="on">Macquarie University</st1:City>, <st1:country-region w:st="on">Australia</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Hong Mei (<st1:place w:st="on"><st1:City w:st="on">Peking
  University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)
<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Huaikou Miao (<st1:place w:st="on"><st1:City w:st="on">Shanghai
  University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Masoud Mohammadian(<st1:place w:st="on"><st1:City
 w:st="on">University of Canberra</st1:City>, <st1:country-region w:st="on">Australia</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Shankar Natarajan (SRI International, <st1:country-region
w:st="on"><st1:place w:st="on">USA</st1:place></st1:country-region>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Nimal&nbsp; Nissanke (<st1:place w:st="on"><st1:City
 w:st="on">London South Bank University</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Geguang Pu(<st1:place w:st="on"><st1:City w:st="on">East
  China Normal University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Shengchao Qin (<st1:place w:st="on"><st1:City w:st="on">Durham
  University</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zongyan Qiu (<st1:place w:st="on"><st1:City w:st="on">Peking
  University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zhong Shao (<st1:place w:st="on"><st1:City w:st="on">Yale
  University</st1:City>, <st1:country-region w:st="on">USA</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Joseph Sifakis (<st1:place w:st="on"><st1:City w:st="on">Verimag</st1:City>,
 <st1:country-region w:st="on">France</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zhengdong Su (<st1:PlaceType w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">California</st1:PlaceName> at <st1:place w:st="on"><st1:City
 w:st="on">Davis</st1:City>, <st1:country-region w:st="on">USA</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Margus Veanes (<st1:place w:st="on"><st1:City w:st="on">Microsoft</st1:City>,
 <st1:country-region w:st="on">USA</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Sergiy Vilkomir (<st1:place w:st="on"><st1:City w:st="on">University
  of Limerick</st1:City>, <st1:country-region w:st="on">Ireland</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Farn Wang (<st1:place w:st="on"><st1:City w:st="on">National
  Taiwan University</st1:City>, <st1:country-region w:st="on">Taiwan</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Ji Wang (Changsha Institute of <st1:place w:st="on"><st1:City
 w:st="on">Technology</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Linzhang Wang(<st1:place w:st="on"><st1:City w:st="on">Nanjing
  University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Heike Wehrheim (<st1:place w:st="on"><st1:City w:st="on">University
  of Paderborn</st1:City>, <st1:country-region w:st="on">Germany</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jim Woodcock (<st1:place w:st="on"><st1:City w:st="on">University
  of York</st1:City>, <st1:country-region w:st="on">UK</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Dianxiang Xu(<st1:place w:st="on"><st1:City w:st="on">North
  Dakota State University</st1:City>, <st1:country-region w:st="on">USA</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Wang Yi (<st1:place w:st="on"><st1:City w:st="on">Uppsala
  University</st1:City>, <st1:country-region w:st="on">Sweden</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Gianluigi Zavattaro (<st1:place w:st="on"><st1:City
 w:st="on">University of Bologna</st1:City>, <st1:country-region w:st="on">Italy</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jian Zhang (Institute of <st1:place w:st="on"><st1:City
 w:st="on">Software</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Jianhua Zhao (<st1:place w:st="on"><st1:City w:st="on">Nanjing
  University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Huibiao Zhu (<st1:place w:st="on"><st1:City w:st="on">East
  China Normal University</st1:City>, <st1:country-region w:st="on">China</st1:country-region></st1:place>)
<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Steering Program Committee<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Michael Hinchey(Chair), <st1:country-region w:st="on"><st1:place
 w:st="on">USA</st1:place></st1:country-region> <o:p></o:p></span></font></p>

<p class=MsoNormal><st1:place w:st="on"><st1:City w:st="on"><font size=1
  face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Keijiro
  Araki</span></font></st1:City><font size=1 face=Arial><span lang=EN-US
 style='font-size:9.0pt;font-family:Arial'>,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 <st1:country-region w:st="on">Japan</st1:country-region></span></font></st1:place><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>&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;
<o:p></o:p></span></font></p>

<p class=MsoNormal><st1:place w:st="on"><st1:City w:st="on"><font size=1
  face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Jifeng
  He</span></font></st1:City><font size=1 face=Arial><span lang=EN-US
 style='font-size:9.0pt;font-family:Arial'>,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 <st1:country-region w:st="on">China</st1:country-region></span></font></st1:place><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>&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;
<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Zhiming
Liu,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <st1:place
w:st="on">Macau</st1:place><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Mike
Reed,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<st1:place w:st="on">Macau</st1:place>&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;
<o:p></o:p></span></font></p>

<p class=MsoNormal><st1:place w:st="on"><st1:City w:st="on"><font size=1
  face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Huibiao
  Zhu</span></font></st1:City><font size=1 face=Arial><span lang=EN-US
 style='font-size:9.0pt;font-family:Arial'>,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 <st1:country-region w:st="on">China</st1:country-region></span></font></st1:place><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Keynote Speakers<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Edmund M. Clarke (<st1:place w:st="on"><st1:PlaceName
 w:st="on">Carnegie</st1:PlaceName> <st1:PlaceName w:st="on">Mellon</st1:PlaceName>
 <st1:PlaceType w:st="on">University</st1:PlaceType></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Joost-Pieter Katoen (<st1:place w:st="on"><st1:PlaceName
 w:st="on">RWTH</st1:PlaceName> <st1:PlaceName w:st="on">Aachen</st1:PlaceName>
 <st1:PlaceType w:st="on">University</st1:PlaceType></st1:place>)<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

</div>

</body>

</html>