ÿþ<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=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 14"> <meta name=Originator content="Microsoft Word 14"> <link rel=File-List href="index_files/filelist.xml"> <link rel=Edit-Time-Data href="index_files/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--> <title>AWFS 2011</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Q</o:Author> <o:Template>Normal</o:Template> <o:LastAuthor>Q</o:LastAuthor> <o:Revision>17</o:Revision> <o:TotalTime>58</o:TotalTime> <o:Created>2011-05-08T07:52:00Z</o:Created> <o:LastSaved>2011-05-11T05:55:00Z</o:LastSaved> <o:Pages>3</o:Pages> <o:Words>1903</o:Words> <o:Characters>10853</o:Characters> <o:Company>SJTU</o:Company> <o:Lines>90</o:Lines> <o:Paragraphs>25</o:Paragraphs> <o:CharactersWithSpaces>12731</o:CharactersWithSpaces> <o:Version>14.00</o:Version> </o:DocumentProperties> </xml><![endif]--> <link rel=themeData href="index_files/themedata.thmx"> <link rel=colorSchemeMapping href="index_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>110</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves>false</w:TrackMoves> <w:TrackFormatting/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SplitPgBreakAndParaMark/> <w:UseFELayout/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="267"> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" Priority="39" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" Name="toc 9"/> <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> <w:LsdException Locked="false" Priority="10" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" Priority="11" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" Priority="22" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" Priority="59" SemiHidden="false" UnhideWhenUsed="false" Name="Table Grid"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> <w:LsdException Locked="false" Priority="34" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> </w:LatentStyles> </xml><![endif]--> <style> <!-- /* Font Definitions */ @font-face {font-family:Wingdings; panose-1:5 0 0 0 0 0 0 0 0 0; mso-font-charset:2; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:0 268435456 0 0 -2147483648 0;} @font-face {font-family:‹[SO; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimSun; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 680460288 22 0 262145 0;} @font-face {font-family:‹[SO; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimSun; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 680460288 22 0 262145 0;} @font-face {font-family:Cambria; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-536870145 1073743103 0 0 415 0;} @font-face {font-family:Verdana; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-1593833729 1073750107 16 0 415 0;} @font-face {font-family:"\@‹[SO"; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 680460288 22 0 262145 0;} @font-face {font-family:LMRoman12-Regular; panose-1:0 0 0 0 0 0 0 0 0 0; mso-font-alt:"Times New Roman"; mso-font-charset:0; mso-generic-font-family:auto; mso-font-format:other; mso-font-pitch:auto; mso-font-signature:3 0 0 0 1 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} h1 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; mso-outline-level:1; font-size:24.0pt; font-family:"Times New Roman","serif"; font-weight:bold;} h2 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; mso-outline-level:2; font-size:18.0pt; font-family:"Times New Roman","serif"; font-weight:bold;} h3 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 3 Char"; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; mso-outline-level:3; font-size:13.5pt; font-family:"Times New Roman","serif"; font-weight:bold;} h4 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 4 Char"; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; mso-outline-level:4; font-size:12.0pt; font-family:"Times New Roman","serif"; font-weight:bold;} a:link, span.MsoHyperlink {mso-style-noshow:yes; mso-style-priority:99; color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-noshow:yes; mso-style-priority:99; color:purple; text-decoration:underline; text-underline:single;} p {mso-style-noshow:yes; mso-style-priority:99; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0in; margin-right:0in; margin-bottom:0in; margin-left:.5in; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-hansi-font-family:Cambria; color:#365F91; font-weight:bold;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 2"; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-hansi-font-family:Cambria; color:#4F81BD; font-weight:bold;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-hansi-font-family:Cambria; color:#4F81BD; font-weight:bold;} span.Heading4Char {mso-style-name:"Heading 4 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 4"; font-family:"Cambria","serif"; mso-ascii-font-family:Cambria; mso-hansi-font-family:Cambria; color:#4F81BD; font-weight:bold; font-style:italic;} p.msochpdefault, li.msochpdefault, div.msochpdefault {mso-style-name:msochpdefault; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} @page WordSection1 {size:8.5in 11.0in; margin:1.0in 1.25in 1.0in 1.25in; mso-header-margin:.5in; mso-footer-margin:.5in; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} /* List Definitions */ @list l0 {mso-list-id:70012385; mso-list-template-ids:-273379558;} @list l0:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l0:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1 {mso-list-id:227501353; mso-list-template-ids:1042812744;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2 {mso-list-id:989213596; mso-list-template-ids:1558054268;} @list l2:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l2:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l3 {mso-list-id:1064329504; mso-list-type:hybrid; mso-list-template-ids:-988146638 908886898 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;} @list l3:level1 {mso-level-number-format:image; list-style-image:url("index_files/image001.gif"); mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol; color:windowtext;} @list l3:level2 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l3:level3 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l3:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l3:level5 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l3:level6 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l3:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Symbol;} @list l3:level8 {mso-level-number-format:bullet; mso-level-text:o; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:"Courier New";} @list l3:level9 {mso-level-number-format:bullet; mso-level-text:§ð; mso-level-tab-stop:none; mso-level-number-position:left; text-indent:-.25in; font-family:Wingdings;} @list l4 {mso-list-id:1336570809; mso-list-template-ids:-1710081714;} @list l4:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l4:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5 {mso-list-id:1465155135; mso-list-template-ids:-188827250;} @list l5:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l5:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6 {mso-list-id:1653371668; mso-list-template-ids:128069908;} @list l6:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level2 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level3 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:1.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level4 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level5 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:2.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level6 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level7 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:3.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level8 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.0in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l6:level9 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:4.5in; mso-level-number-position:left; text-indent:-.25in; mso-ansi-font-size:10.0pt; font-family:Symbol;} ol {margin-bottom:0in;} ul {margin-bottom:0in;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif";} </style> <![endif]--><!--[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> <FONT face=arial> <body lang=EN-US link=blue vlink=purple style='tab-interval:.5in'> <div class=WordSection1> <p class=MsoNormal align=center style='text-align:center'>&nbsp;</p> <h2 align=center style='text-align:center'><span style='mso-fareast-font-family: "Times New Roman";color:red'>AWFS 2011</span><span style='mso-fareast-font-family: "Times New Roman"'><o:p></o:p></span></h2> <h1 align=center style='text-align:center'><span style='mso-fareast-font-family: "Times New Roman"'>The Eighth Asian Workshop on Foundation of Software<o:p></o:p></span></h1> <p class=MsoNormal align=center style='text-align:center'><span style='font-size:13.5pt;color:darkblue'>Shanghai, China. <br> Hosted by <a href="http://basics.sjtu.edu.cn">BASICS Lab</a>, <a href="http://www.sjtu.edu.cn">Shanghai Jiao Tong University</a> </br>May 13-14, 2011</span></p> <h4 align=center style='text-align:center'><span style='mso-fareast-font-family: "Times New Roman"'><a href="#topics"><span style='color:red'>Topics</span></a> | <a href="#speaker"><span style='color:red'>Invited Speakers</span></a> | <a href="#submission"><span style='color:red'>Submission</span></a> | <a href="#dates"><span style='color:red'>Important Dates</span></a> | <a href="#venue"><span style='color:red'>Venue</span></a> | <a href="#organization"><span style='color:red'>Organization</span></a> | <a href="#program"><span style='color:red'>Program</span></a> | <span class=MsoHyperlink><span style='color:red'><a href="#Travelinfo"><span style='color:red'>Travel Information</span></a></span></span></span><span class=MsoHyperlink><span style='mso-fareast-font-family:‹[SO;color:red'> </span></span><span style='mso-fareast-font-family:"Times New Roman"'>| <a href="#sponsors"><span style='color:red'>sponsors</span></a></span><span style='mso-fareast-font-family: ‹[SO'> </span><span style='mso-fareast-font-family:"Times New Roman"'>| </span><span class=MsoHyperlink><span style='color:red'><a href="#contact"><span style='mso-fareast-font-family:"Times New Roman";color:red'>Contact Us</span></a></span></span><span style='mso-fareast-font-family:"Times New Roman"'> <o:p></o:p></span></h4> <p>The Eighth Asian Workshop on Foundations of Software (AWFS) addresses foundational problems in current and future software design, development, and analysis. The previous AWFS meetings were held in Hangzhou in 2002, Nanjing in 2003, Xi'an in 2004, Beijing in 2005, <a href="http://www.cc4cm.org/awfs2007/">Xiamen in 2007</a>, <a href="http://research.nii.ac.jp/~hu/awfs09/">Tokyo in 2009</a>, and <a href="http://logic.cs.tsukuba.ac.jp/~kam/AWFS2010/">Beijing in 2010</a>. </p> <p>The aim of this workshop is to stimulate various activities leading to the formation of new forums for Asian researchers in the foundational aspects of software science and technology. <a name=topics></a></p> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>Topics</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <p class=MsoNormal>Specific topics for AWFS 2011 include (but are not limited to): </p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Formal methods and artificial intelligence for software development <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Logics of programs, program generation, transformation, evolution, and reasoning <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Programming language design and semantics, programming methodologies and paradigms<o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Symbolic computation<o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Software development methodologies, tools, and environments <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Software specification, verification, testing, analysis, refinement, and model checking <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Software architectures, software reuse, and user interface design <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Software for distributed, parallel, web/Internet-based, and mobile computing <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Software engineering in multi-agent systems and service-oriented computing<o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l4 level1 lfo1;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Empirical studies of software tools and methods <o:p></o:p></span></li> </ul> <h3><a name=speaker><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Keynote and Invited Speakers</span></a><span style='mso-bookmark: speaker'></span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l5 level1 lfo2;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://liama.ia.ac.cn/wiki/user:jpj:home/">Jean-Pierre <span class=SpellE>Jouannaud</span></a> (LIAMA and Tsinghua) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l5 level1 lfo2;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://www.cs.sjtu.edu.cn/~kzhu/">Kenny <span class=SpellE>Qili</span> Zhu</a> (</span><span style='mso-fareast-font-family:‹[SO'>Shanghai Jiao Tong</span><span style='mso-fareast-font-family:"Times New Roman"'> University) <o:p></o:p></span></li> </ul> <h3><a name=submission><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'><!-- <li> TBA.</li> <li> TBA. </li> -->Submission</span></a><span style='mso-bookmark:submission'></span><span style='mso-fareast-font-family: "Times New Roman"'><o:p></o:p></span></h3> <p class=MsoNormal>Potential participants of AWFS 2011 are invited to submit abstracts of 1-2 pages for the work to be presented at the workshop. Abstracts (in <span class=SpellE>pdf</span>) should be submitted electronically to <a href="mailto:awfs2011@score.cs.tsukuba.ac.jp">awfs2011@score.cs.tsukuba.ac.jp</a>. </p> <p>The submitted abstracts will be judged on its significance, technical quality, and the relevance to AWFS. <a name=dates></a></p> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>Important Dates</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <table class=MsoNormalTable border=0 cellpadding=0 style='mso-cellspacing:1.5pt; mso-yfti-tbllook:1184;mso-padding-alt:0in 0in 0in 0in'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td width=300 style='width:225.0pt;padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>Deadline for abstract submission:</b></p> </td> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>March 30, 2011</b> </p> </td> </tr> <tr style='mso-yfti-irow:1'> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>Notification:</b></p> </td> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>April 14, 2011</b> </p> </td> </tr> <tr style='mso-yfti-irow:2'> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>Workshop:</b></p> </td> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><b>May 13-14, 2011</b> </p> </td> </tr> <tr style='mso-yfti-irow:3;mso-yfti-lastrow:yes'> <td style='padding:.75pt .75pt .75pt .75pt'></td> <td style='padding:.75pt .75pt .75pt .75pt'></td> </tr> </table> <h3><a name=venue><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Venue</span></a><span style='mso-bookmark:venue'></span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <p>AWFS2011 will be held at the Faculty Club, in <span class=SpellE>Xuhui</span> campus, SJTU, in Shanghai, China. </p> <p>With a history of more than 700 years, Shanghai was once the financial center of the Far East. Since the reforms that began in the 1990s, great changes have taken place in the city. The municipal government is working towards building Shanghai into a modern metropolis and into a world economic, financial, trading and shipping center by 2020. </p> <p>For more information, please visit: <a href="http://www.meet-in-shanghai.net" target="_blank">http://www.meet-in-shanghai.net</a> </p> <h3><a name=organization><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Organization</span></a><span style='mso-bookmark:organization'></span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <p class=MsoNormal><b>Workshop Chair</b></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l0 level1 lfo3;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'>Li Wei (<span class=SpellE>Beihang</span> University, China) <o:p></o:p></span></li> </ul> <p><b>Program Co-Chairs</b></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l2 level1 lfo4;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://www.score.is.tsukuba.ac.jp/~minamide/index.en.html" target="_blank">Yasuhiko <span class=SpellE>Minamide</span></a> (University of Tsukuba, Japan)<o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l2 level1 lfo4;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://basics.sjtu.edu.cn/~yuxi"><span class=SpellE>Yuxi</span> Fu</a> (Shanghai Jiao Tong University <span class=SpellE>University</span>, China) <o:p></o:p></span></li> </ul> <p><b>Program Committee</b></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://basics.sjtu.edu.cn/~chen/"><span class=SpellE>Yijia</span> Chen</a> (Shanghai Jiao Tong <span class=SpellE>Unicersity</span>, China), <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://faculty.ecnu.edu.cn/chenyixiang/Info_eng.html"><span class=SpellE>Yixiang</span> Chen</a> (East China Normal University, China), <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="mailto:zhenhua_duan@126.com"><span class=SpellE>Zhenhua</span> <span class=SpellE>Duan</span> </a>(<span class=SpellE>Xidian</span> University, China) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://basics.sjtu.edu.cn/~yuxi"><span class=SpellE>Yuxi</span> Fu</a> (Shanghai Jiao Tong University <span class=SpellE>University</span>, China), <b>co-chair</b> <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://research.nii.ac.jp/~hu">Zhenjiang Hu</a> (National Institute of Informatics, Japan) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='font-size:10.0pt;font-family:"Verdana","sans-serif";color:black'><a href="http://www.math.nagoya-u.ac.jp/~garrigue/">Jacques&nbsp;<span class=SpellE>Garrigue</span></a></span><span style='font-size:10.0pt; font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO;color:black'> </span><span style='mso-fareast-font-family:"Times New Roman"'>(Nagoya University, Japan)</span><span style='font-size:10.0pt;font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'> </span><span style='mso-fareast-font-family: "Times New Roman"'><o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://www.score.cs.tsukuba.ac.jp/~minamide/index.en.html">Yasuhiko <span class=SpellE>Minamide</span></a> (University of Tsukuba, Japan), <b>co-chair</b> <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://www.jaist.ac.jp/~mizuhito/"><span class=SpellE>Mizuhito</span> Ogawa</a> (JAIST, Japan)<o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://pku.academia.edu/QiuZongyan"><span class=SpellE>Zongyan</span> <span class=SpellE>Qiu</span></a> (Peking University, China) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://logic.cs.tsukuba.ac.jp/~kam/"><span class=SpellE>Yukiyoshi</span> <span class=SpellE>Kameyama</span></a> (University of Tsukuba, Japan) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://narayama.naist.jp/~seki/English/">Hiroyuki Seki</a> (Nara Institute of Science and Technology, Japan) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://www.nlsde.buaa.edu.cn/~kexu/"><span class=SpellE>Ke</span> <span class=SpellE>Xu</span> </a>(<span class=SpellE>Beihang</span> University, China) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://lcs.ios.ac.cn/~zj/"><span class=SpellE>Jian</span> Zhang</a> (Chinese Academy of Sciences, China) <o:p></o:p></span></li> <li class=MsoNormal style='mso-list:l6 level1 lfo5;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://cse.sjtu.edu.cn/~zhao/"><span class=SpellE>Jianjun</span> Zhao </a>(Shanghai Jiao Tong University, China) <o:p></o:p></span></li> </ul> <p><b>Local Arrangements</b></p> <ul style='margin-top:0in' type=disc> <li class=MsoNormal style='mso-list:l1 level1 lfo6;tab-stops:list .5in'><span style='mso-fareast-font-family:"Times New Roman"'><a href="http://basics.sjtu.edu.cn/~liguoqiang/"><span class=SpellE>Guoqiang</span> Li</a> (Shanghai Jiao Tong University, China) <o:p></o:p></span></li> </ul> <h3><a name=program><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Program</span></a><span style='mso-bookmark:program'></span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <table class=MsoNormalTable border=0 cellspacing=0 cellpadding=0 align=left style='border-collapse:collapse;mso-yfti-tbllook:1184;mso-table-lspace:9.0pt; margin-left:6.75pt;mso-table-rspace:9.0pt;margin-right:6.75pt;mso-table-anchor-vertical: paragraph;mso-table-anchor-horizontal:column;mso-table-left:left;mso-padding-alt: 0in 0in 0in 0in'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes;height:15.35pt'> <td width=850 colspan=2 valign=top style='width:637.5pt;border:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:15.35pt'> <p class=MsoNormal align=center style='text-align:center;mso-element:frame; mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical: paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly'><a name=sponsor><b><span style='font-family:"Verdana","sans-serif";color:black'>Day&nbsp;1:&nbsp;Friday,&nbsp;May&nbsp;13,&nbsp;2011</span></b></a></p> </td> </tr> <tr style='mso-yfti-irow:1'> <td width=133 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>9:00-9:30</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Registration</span></p> </td> </tr> <tr style='mso-yfti-irow:2;height:20.4pt'> <td width=133 rowspan=2 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt;height:20.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>9:30-10:30</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p></o:p></span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>Invited&nbsp;Talk1&nbsp;<span style='mso-spacerun:yes'>  </span></span><span style='font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO; color:black'><o:p></o:p></span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:20.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: Yasuhiko <span class=SpellE>Minamide</span></span></p> </td> </tr> <tr style='mso-yfti-irow:3;height:20.35pt'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:20.35pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title: <a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/talk1.html">A&nbsp;complete&nbsp;tour&nbsp;of&nbsp;completion&nbsp;methods</a></span><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;Jean-Pierre&nbsp;<span class=SpellE>Jouannaud</span>&nbsp;(LIAMA&nbsp;and&nbsp;Tsinghua University)<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:4'> <td width=133 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>10:50-12:20&nbsp;&nbsp;</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: <span class=SpellE>Yijia</span> Chen</span></p> </td> </tr> <tr style='mso-yfti-irow:5'> <td width=133 rowspan=3 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 1</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/seki.pdf"><span style='font-family:"Verdana","sans-serif"'>A&nbsp;Comparative&nbsp;Approach&nbsp;to&nbsp;RNA&nbsp;Pseudoknotted&nbsp;Structure&nbsp;Prediction&nbsp;</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/seki.pdf"><span style='font-family:"Verdana","sans-serif"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Based&nbsp;on&nbsp;Multiple&nbsp;Context-Free&nbsp;Grammar</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;Hiroyuki&nbsp;Seki,&nbsp;Nobuyoshi&nbsp;<span class=SpellE>Mizoguchi</span>,&nbsp;Yuki&nbsp;Kato (NAIST)</span></p> </td> </tr> <tr style='mso-yfti-irow:6'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/he.pdf"><span style='font-family:"Verdana","sans-serif"'>Decidability&nbsp;of&nbsp;Behavioral&nbsp;Equivalences&nbsp;in&nbsp;Process&nbsp;Calculi&nbsp;with&nbsp;Name&nbsp;Scoping</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Chaodong</span>&nbsp;He (Shanghai Jiao Tong University)</span></p> </td> </tr> <tr style='mso-yfti-irow:7'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/yuen.pdf"><span style='font-family:"Verdana","sans-serif"'>Passing&nbsp;names&nbsp;with&nbsp;priority&nbsp;guards</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;Shoji&nbsp;Yuen&nbsp;and&nbsp;Shogo&nbsp;<span class=SpellE>Ohta</span> (Nagoya University)</span></p> </td> </tr> <tr style='mso-yfti-irow:8'> <td width=133 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>14:00-15:30&nbsp;</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: Zhenjiang Hu</span></p> </td> </tr> <tr style='mso-yfti-irow:9'> <td width=133 rowspan=3 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 2</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/li.pdf"><span style='font-family:"Verdana","sans-serif"'>What's&nbsp;Behind&nbsp;Program&nbsp;Analysis&nbsp;with&nbsp;Polymorphism</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;<span class=SpellE>Xin</span>&nbsp;Li&nbsp;and&nbsp;<span class=SpellE>Mizuhito</span>&nbsp;Ogawa (JAIST)</span></p> </td> </tr> <tr style='mso-yfti-irow:10'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/zhang-Sun.pdf"><span style='font-family:"Verdana","sans-serif"'>Frequency&nbsp;Estimation&nbsp;of&nbsp;Virtual&nbsp;Call&nbsp;Targets&nbsp;for&nbsp;Object-Oriented&nbsp;Programs</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;Cheng&nbsp;Zhang (Shanghai Jiao Tong University)</span></p> </td> </tr> <tr style='mso-yfti-irow:11'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/zhang-Sun.pdf"><span style='font-family:"Verdana","sans-serif"'>Probabilistic&nbsp;Points-to&nbsp;Analysis&nbsp;for&nbsp;Java</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;<span class=SpellE>Qiang</span>&nbsp;Sun (Shanghai Jiao Tong <span class=SpellE>Unversity</span>)</span></p> </td> </tr> <tr style='mso-yfti-irow:12'> <td width=133 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>15:50-17:</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>5</span><span style='font-family: "Verdana","sans-serif";color:black'>0&nbsp;</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: <span class=SpellE>Jianjun</span> Zhao</span></p> </td> </tr> <tr style='mso-yfti-irow:13'> <td width=133 rowspan=4 valign=top style='width:99.8pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 3</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/katsumata.pdf"><span style='font-family:"Verdana","sans-serif"'>Relating&nbsp;Computational&nbsp;Effects&nbsp;by&nbsp;TT-Lifting</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;Shinya&nbsp;Katsumata (Kyoto University)</span></p> </td> </tr> <tr style='mso-yfti-irow:14'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/minamide.pdf"><span style='font-family:"Verdana","sans-serif"'>Semantics&nbsp;and&nbsp;Implementations&nbsp;of&nbsp;Regular&nbsp;Expression&nbsp;Matching</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;Yasuhiko&nbsp;<span class=SpellE>Minamide</span> (University of Tsukuba)</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:15'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><span class=MsoHyperlink><span style='font-family:"Verdana","sans-serif"'><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/local_bfs.pdf">Local reasoning for a distributed synchronous data-centric algorithm</a></span></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><span style='mso-spacerun:yes'> </span></span><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;</span><span style='font-family:LMRoman12-Regular; mso-bidi-font-family:LMRoman12-Regular'> </span><span style='font-family: "Verdana","sans-serif";color:black'>Jean-François <span class=SpellE>Monin</span></span><span style='font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO; color:black'> </span><span style='font-family:"Verdana","sans-serif"; color:black'>( University Joseph Fourier)</span><span style='mso-fareast-font-family: ‹[SO'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:16;height:7.5pt'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; mso-border-left-alt:solid windowtext 1.0pt;padding:0in 0in 0in 0in; height:7.5pt'> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><span style='mso-spacerun:yes'> </span></span><span style='font-family:"Verdana","sans-serif"; color:black'><span style='mso-spacerun:yes'> </span>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/duan.doc"><span style='font-family:"Verdana","sans-serif"'>Bounded&nbsp;Model&nbsp;checking&nbsp;Projection&nbsp;Temporal&nbsp;Logic</span></a><o:p></o:p></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><span style='mso-spacerun:yes'> </span></span><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Zhenhua</span>&nbsp;<span class=SpellE>Duan</span> (<span class=SpellE>Xidian</span> University)</span><span style='font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO; color:black'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:17;height:7.45pt'> <td width=850 colspan=2 valign=top style='width:637.5pt;border:solid windowtext 1.0pt; border-top:none;padding:0in 5.4pt 0in 5.4pt;height:7.45pt'> <p class=MsoNormal align=center style='text-align:center;mso-element:frame; mso-element-frame-hspace:9.0pt;mso-element-wrap:around;mso-element-anchor-vertical: paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly'><b><span style='font-family:"Verdana","sans-serif";color:black'>Day&nbsp;2:&nbsp;Saturday,&nbsp;May&nbsp;14,&nbsp;2011<o:p></o:p></span></b></p> </td> </tr> <tr style='mso-yfti-irow:18;height:20.75pt'> <td rowspan=2 valign=top style='border:solid windowtext 1.0pt;border-top: none;padding:0in 5.4pt 0in 5.4pt;height:20.75pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>9:30-10:30</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p></o:p></span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>Invited&nbsp;Talk&nbsp;2&nbsp; </span><span style='font-family: "Verdana","sans-serif";mso-fareast-font-family:‹[SO;color:black'><o:p></o:p></span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:20.75pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: <span class=SpellE>Yuxi</span> Fu</span></p> </td> </tr> <tr style='mso-yfti-irow:19;height:20.7pt'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:20.7pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Title: </span><span style='mso-spacerun:yes'>  </span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/talk2.html">Data Processing: A Programming Language Perspective</a> <o:p></o:p></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Kenny <span class=SpellE>Qili</span> Zhu (</span><span style='font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO; color:black'>Shanghai Jiao Tong</span><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;University)<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:20'> <td valign=top style='border:solid windowtext 1.0pt;border-top:none; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>10:50-12:20&nbsp;</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: Hiroyuki Seki</span></p> </td> </tr> <tr style='mso-yfti-irow:21'> <td rowspan=3 valign=top style='border:solid windowtext 1.0pt;border-top: none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 4</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/cai.pdf"><span style='font-family:"Verdana","sans-serif"'>Linear&nbsp;Kernelizations&nbsp;for&nbsp;Restricted&nbsp;3-Hitting&nbsp;Set&nbsp;Problems</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Xuan</span>&nbsp;<span class=SpellE>Cai</span> (The Third Research Institute of Ministry of Public Security)</span></p> </td> </tr> <tr style='mso-yfti-irow:22'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/hu.pdf"><span style='font-family:"Verdana","sans-serif"'>GRoundTram:&nbsp;A&nbsp;Toolkit&nbsp;for&nbsp;Bidirectional&nbsp;Model&nbsp;Transformations</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span class=SpellE><span style='font-family: "Verdana","sans-serif";color:black'>Auhtors</span></span><span style='font-family:"Verdana","sans-serif";color:black'>:&nbsp;Zhenjiang&nbsp;Hu (NII)</span></p> </td> </tr> <tr style='mso-yfti-irow:23'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/kameyama.pdf"><span style='font-family:"Verdana","sans-serif"'>Challenges&nbsp;in&nbsp;Program&nbsp;Generation</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;<span class=SpellE>Yukiyoshi</span>&nbsp;<span class=SpellE>Kameyama</span> (University of Tsukuba)</span></p> </td> </tr> <tr style='mso-yfti-irow:24'> <td valign=top style='border:solid windowtext 1.0pt;border-top:none; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>14:00-15:30</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='mso-spacerun:yes'> </span><span style='font-family:"Verdana","sans-serif";color:black'>Chair: <span class=SpellE>Zhenhua</span> <span class=SpellE>Duan</span></span></p> </td> </tr> <tr style='mso-yfti-irow:25'> <td rowspan=3 valign=top style='border:solid windowtext 1.0pt;border-top: none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'><o:p></o:p></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 5</span><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/ida.pdf"><span style='font-family:"Verdana","sans-serif"'>Proof&nbsp;Documents&nbsp;for&nbsp;Automated&nbsp;Origami&nbsp;Theorem&nbsp;Proving</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors&nbsp;&nbsp;&nbsp;&nbsp;<span class=SpellE>Fadoua</span>&nbsp;<span class=SpellE>Ghourabi</span>&nbsp;and&nbsp;Tetsuo&nbsp;Ida (University of Tsukuba)</span></p> </td> </tr> <tr style='mso-yfti-irow:26'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/wei.pdf"><span style='font-family:"Verdana","sans-serif"'>Analysis&nbsp;of&nbsp;of&nbsp;Partial&nbsp;Modeling&nbsp;Formalisms&nbsp;in&nbsp;Abstract&nbsp;Model&nbsp;Checking</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Ou</span>&nbsp;Wei (Nanjing University of Aeronautics and Astronautics),<o:p></o:p></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'><span style='mso-spacerun:yes'>          </span><span style='mso-spacerun:yes'>     </span><span class=SpellE>Arie</span> <span class=SpellE>Gurfinkel</span> (Carnegie Mellon University)<o:p></o:p></span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'><span style='mso-spacerun:yes'>               </span>Marsha <span class=SpellE>Chechik</span> (University of Toronto)</span></p> </td> </tr> <tr style='mso-yfti-irow:27'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/qiu.pdf"><span style='font-family:"Verdana","sans-serif"'>OO&nbsp;Specification&nbsp;for&nbsp;Verification&nbsp;of&nbsp;OO&nbsp;Programs</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Qiu</span>&nbsp;<span class=SpellE>Zongyan</span>&nbsp;and&nbsp;<span class=SpellE>Yijing</span>&nbsp;Liu (Peking University)</span></p> </td> </tr> <tr style='mso-yfti-irow:28'> <td valign=top style='border:solid windowtext 1.0pt;border-top:none; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>15:50-17:20&nbsp;</span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Chair: <span class=SpellE>Yukiyoshi</span> <span class=SpellE>Kameyama</span></span></p> </td> </tr> <tr style='mso-yfti-irow:29'> <td rowspan=3 valign=top style='border:solid windowtext 1.0pt;border-top: none;padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;</span><span style='font-family:"Verdana","sans-serif"; mso-fareast-font-family:‹[SO;color:black'>Session 6</span><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> </td> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/sakai.pdf"><span style='font-family:"Verdana","sans-serif"'>CNFs&nbsp;with&nbsp;Elementary&nbsp;Symmetric&nbsp;Clauses&nbsp;and&nbsp;their&nbsp;SAT&nbsp;Solving</span></a></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;Masahiko&nbsp;Sakai,&nbsp;<span class=SpellE>Yohei</span>&nbsp;<span class=SpellE>Umano</span>&nbsp;and&nbsp;<span class=SpellE>Yoshizane</span>&nbsp;Hino (Nagoya University)</span></p> </td> </tr> <tr style='mso-yfti-irow:30'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt'> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/ogawa.pdf"><span style='font-family:"Verdana","sans-serif"'>Finite&nbsp;basis&nbsp;property&nbsp;revisited</span></a><o:p></o:p></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span class=SpellE><span style='font-family: "Verdana","sans-serif";color:black'>Auhtors</span></span><span style='font-family:"Verdana","sans-serif";color:black'>:&nbsp;<span class=SpellE>Mizuhito</span>&nbsp;Ogawa (JAIST)</span><span style='mso-fareast-font-family: ‹[SO'><o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:31;mso-yfti-lastrow:yes;height:28.0pt'> <td width=717 valign=top style='width:537.7pt;border-top:none;border-left: none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt; padding:0in 5.4pt 0in 5.4pt;height:28.0pt'> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>Title:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/abstract/chen.pdf"><span style='font-family:"Verdana","sans-serif"'>Consistency&nbsp;and&nbsp;Optimality</span></a><span style='font-family:"Verdana","sans-serif";mso-fareast-font-family:‹[SO; color:black'><o:p></o:p></span></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>Authors:&nbsp;&nbsp;&nbsp;<span class=SpellE>Yijia</span>&nbsp;Chen (Shanghai Jiao Tong <span class=SpellE>Unversity</span>),&nbsp;</span><o:p></o:p></p> <p class=MsoNormal><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <span class=SpellE>Jorg</span>&nbsp;<span class=SpellE>Flum</span> (Albert-<span class=SpellE>Ludwigs</span>-<span class=SpellE>Universitat</span> Freiburg),</span><o:p></o:p></p> <p class=MsoNormal style='mso-element:frame;mso-element-frame-hspace:9.0pt; mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal: column;mso-height-rule:exactly'><span style='font-family:"Verdana","sans-serif"; color:black'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Moritz&nbsp;Muller (Centre de <span class=SpellE>Recerca</span> <span class=SpellE>Matem_atica</span>)</span><span style='mso-fareast-font-family: ‹[SO'><o:p></o:p></span></p> </td> </tr> </table> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:"Times New Roman";color:darkblue'>&nbsp;</span><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></h3> <h3><span style='mso-fareast-font-family:‹[SO;color:darkblue'><o:p>&nbsp;</o:p></span></h3> <h3><span style='mso-fareast-font-family:‹[SO;color:darkblue'><o:p>&nbsp;</o:p></span></h3> <h3><a name=Travelinfo><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Travel Information </span></a><span style='mso-fareast-font-family: "Times New Roman";color:darkblue'><o:p></o:p></span></h3> <h4><span style='mso-fareast-font-family:"Times New Roman"'>Transportation to SJTU Faculty Club<o:p></o:p></span></h4> <p style='margin-left:.5in;text-indent:-.25in;mso-list:l3 level1 lfo7'><![if !supportLists]><span style='font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family: Symbol'><span style='mso-list:Ignore'><img width=13 height=13 src="index_files/image001.gif" alt="*"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><b>From <span class=SpellE>Pudong</span> International Airport</b></p> <p><span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>     </span></span>1) By Taxi: about 50 min, normal taxi charge is about150 RMB (Chinese Yuan) which is about 20 US$, plus 30% night charge if after 11:00 PM. <span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> <p><span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>     </span></span>2) By bus: Take Airport Bus No.3 to <span class=SpellE>Xujiahui</span> (or <span class=SpellE>Tianping</span> Road, see the &quot;AB3&quot; on the map), it takes about 1 hour, and bus ticket is 18 RMB (2.5US$). From bus stop to SJTU Faculty Club, it takes about 15min on foot or 3~5 min by taxi. (After taking off the Airport Bus 3, go along the bus direction for 100m, turn right at the cross, go along <span class=SpellE>Tianping</span> Rd. for 2 blocks (about 500m), after reaching <span class=SpellE>Guangyuan</span> Rd. turn left, go along <span class=SpellE>Guangyuan</span> Rd for 200m, cross <span class=SpellE>Huashan</span> Rd. Turn right about 30m if the main gate of SJTU (with two stone lions). Enter through the main gate and turn right, about 100m, you will reach the Faculty Club.) <span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> <p style='margin-left:.5in;text-indent:-.25in;mso-list:l3 level1 lfo7'><![if !supportLists]><span style='font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family: Symbol'><span style='mso-list:Ignore'><img width=13 height=13 src="index_files/image001.gif" alt="*"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><b>From <span class=SpellE>Hongqiao</span> International Airport</b></p> <p><span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>     </span></span>1) By Taxi: about 25 min, normal taxi charge 25 RMB (Chinese Yuan) which is about 3 US$, plus 30% night extra if after 11:00 PM. <br> <br> <span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>    </span></span>2) By bus: Take bus No.806 to Jiao Tong University (see  806 on the map), bus ticket is 3 RMB (0.5US$), SJTU Faculty Club is just behind the bus stop, but you need about 2min by foot to go through the main gate (with two stone lions) to there. </p> <p style='margin-left:.5in;text-indent:-.25in;mso-list:l3 level1 lfo7'><![if !supportLists]><span style='font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family: Symbol'><span style='mso-list:Ignore'><img width=13 height=13 src="index_files/image001.gif" alt="*"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></span></span><![endif]><b>From Shanghai Railway Station</b></p> <p><span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>    </span></span>1) By Taxi: about 30 min, normal taxi charge 32 RMB (Chinese Yuan) which is about 4 US$, plus 30% if after 11:00 PM. <br> <br> <span style='mso-fareast-font-family:‹[SO'><span style='mso-spacerun:yes'>    </span></span>2) By Subway: take Line No.1 to <span class=SpellE>Xujiahui</span>, ticket 4 RMB, 20min, exit from Gate No.12, go alone <span class=SpellE>Huashan</span> Road to SJTU (No.1954, <span class=SpellE>Huashan</span> Road). </p> <h4>Hotel address and Telephone<span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></h4> <p class=MsoNormal><b style='mso-bidi-font-weight:normal'>Faculty Club </b><b style='mso-bidi-font-weight:normal'><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></b></p> <p class=MsoNormal>Address: No. 1954, <span class=SpellE>Huashan</span> Road, Shanghai 200030 <br> Telephone: 021-62822822 <b><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></b></p> <p>For the detailed map and Chinese translations please download the following <span class=SpellE>pdf</span> file:<a href="http://basics.sjtu.edu.cn/summer_school/basics09/files/Travel_Information.pdf"> </a><span style='mso-fareast-font-family:‹[SO'><br> </span><a href="http://basics.sjtu.edu.cn/conference/awfs2011/Travel_Information.pdf">Travel_Information.pdf </a><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></p> <h3><a name=sponsors><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Sponsors</span></a><span style='mso-bookmark:sponsors'><span style='mso-fareast-font-family:‹[SO'><o:p></o:p></span></span></h3> <span style='mso-bookmark:sponsors'></span> <p class=MsoNormal>BASICS Lab, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Shanghai Jiao Tong University <span style='mso-fareast-font-family: ‹[SO'><o:p></o:p></span></p> <h3><a name=contact><span style='mso-fareast-font-family:"Times New Roman"; color:darkblue'>Contact Us</span></a><span style='mso-bookmark:contact'><span style='mso-fareast-font-family:"Times New Roman"'><o:p></o:p></span></span></h3> <span style='mso-bookmark:contact'></span> <p class=MsoNormal>All inquiries should be sent to the program co-chairs at <a href="mailto:awfs2011@score.cs.tsukuba.ac.jp">awfs2011@score.cs.tsukuba.ac.jp</a>. </p> <div class=MsoNormal align=center style='text-align:center'><span style='mso-fareast-font-family:"Times New Roman"'> <hr size=2 width="100%" align=center> </span></div> <p class=MsoNormal><span class=GramE>Last Updated on <span style='mso-fareast-font-family: ‹[SO'>May</span>.</span> <span class=GramE><span style='mso-fareast-font-family: ‹[SO'>5</span>, 2011.</span> </p> </div> </body> </FONT> </html>