<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40">

<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=gb2312">


<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 10">
<meta name=Originator content="Microsoft Word 10">
<link rel=File-List href="cid:filelist.xml@01C5A30E.D1A4B830">
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="PlaceType"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="PlaceName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="State"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="date"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="City"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="country-region"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
 name="place"/>
<!--[if gte mso 9]><xml>
 <o:OfficeDocumentSettings>
  <o:DoNotRelyOnCSS/>
 </o:OfficeDocumentSettings>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <w:WordDocument>
  <w:SpellingState>Clean</w:SpellingState>
  <w:GrammarState>Clean</w:GrammarState>
  <w:DocumentKind>DocumentEmail</w:DocumentKind>
  <w:EnvelopeVis/>
  <w:Compatibility>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
   <w:UseFELayout/>
  </w:Compatibility>
  <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
 </w:WordDocument>
</xml><![endif]--><!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
 /* Font Definitions */
 @font-face
        {font-family:宋体;
        panose-1:2 1 6 0 3 1 1 1 1 1;
        mso-font-alt:SimSun;
        mso-font-charset:134;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:3 135135232 16 0 262145 0;}
@font-face
        {font-family:"\@宋体";
        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 135135232 16 0 262145 0;}
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
        {mso-style-parent:"";
        margin:0in;
        margin-bottom:.0001pt;
        mso-pagination:widow-orphan;
        font-size:12.0pt;
        font-family:"Times New Roman";
        mso-fareast-font-family:宋体;}
a:link, span.MsoHyperlink
        {color:blue;
        text-decoration:underline;
        text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
        {color:purple;
        text-decoration:underline;
        text-underline:single;}
p.MsoAutoSig, li.MsoAutoSig, div.MsoAutoSig
        {margin:0in;
        margin-bottom:.0001pt;
        mso-pagination:widow-orphan;
        font-size:12.0pt;
        font-family:"Times New Roman";
        mso-fareast-font-family:"Times New Roman";
        mso-fareast-language:EN-US;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        mso-style-noshow:yes;
        mso-ansi-font-size:10.0pt;
        mso-bidi-font-size:10.0pt;
        font-family:Arial;
        mso-ascii-font-family:Arial;
        mso-hansi-font-family:Arial;
        mso-bidi-font-family:Arial;
        color:windowtext;}
span.SpellE
        {mso-style-name:"";
        mso-spl-e:yes;}
span.GramE
        {mso-style-name:"";
        mso-gram-e:yes;}
@page Section1
        {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.Section1
        {page:Section1;}
-->
</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-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";}
</style>
<![endif]-->
</head>

<body lang=EN-US link=blue vlink=purple style='tab-interval:.5in'>

<div class=Section1>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>--------------------------------------------------------------------------------<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span>CALL FOR PAPERS<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span>Software Verification Track<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span>ACM
Symposium on Applied Computing<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span></span></font><st1:date Month="4" Day="23" Year="2006"><font size=2
 face=Arial><span style='font-size:10.0pt;font-family:Arial'>April 23-27, 2006</span></font></st1:date><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:place><st1:City><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Dijon</span></font></st1:City><font
 size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>France</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span>http://www.cs.wmich.edu/~zijiang/sac2006/<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>--------------------------------------------------------------------------------<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>1. SAC 2006<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>For the last twenty years, the ACM Symposium on Applied
Computing <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>has</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> been a
primary gathering forum for applied computer scientists, <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>computer</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> engineers,
software engineers, and application developers <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>from</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> around the
world. SAC 2006 is sponsored by the ACM Special <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Interest Group on Applied Computing, and is hosted this year
by <o:p></o:p></span></font></p>

<p class=MsoNormal><st1:place><st1:PlaceName><span class=GramE><font size=2
  face=Arial><span style='font-size:10.0pt;font-family:Arial'>Bourgogne</span></font></span></st1:PlaceName><span
 class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
 Arial'> </span></font></span><st1:PlaceType><span class=GramE><font size=2
  face=Arial><span style='font-size:10.0pt;font-family:Arial'>University</span></font></span></st1:PlaceType></st1:place><span
class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
Arial'>, </span></font></span><st1:place><st1:City><span class=GramE><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Dijon</span></font></span></st1:City><span
 class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
 Arial'>, </span></font></span><st1:country-region><span class=GramE><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>France</span></font></span></st1:country-region></st1:place><span
class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
Arial'>.</span></font></span><font size=2 face=Arial><span style='font-size:
10.0pt;font-family:Arial'> <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>2. Technical track on software verification<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>In the next decade the software industry will have to face
its <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>responsibility</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> imposed by
a computer-dependent society. Since <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>software</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> is
increasing deployed in safety critical applications, <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>correctness</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> and
reliability are becoming issues of utmost importance. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Consequently, software verification will be a grand
challenge for <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>both</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> academic
world and computer industry. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>The track will focus on theoretical foundations, practical
methods <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>as</span></font></span><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'> well as case
studies for verification of conventional and embedded <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>software</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>. We welcome
papers that describe work on combinations of <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>formal</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>
verification and program analysis techniques. Tool papers and <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>case</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> studies
which report on advances in verifying large software <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>systems</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> are
particularly sought. The list of topics includes but not <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>limited</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> to<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span><span class=GramE>Tools,</span> and case
studies for large scale software verification<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Static analysis/Abstract interpretation
for verification <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Model checking and deductive techniques
for software verification<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Role of declarative programming
languages (such as Prolog) for <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
class=GramE>infinite</span> state software verification. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Proof techniques for verifying specific
classes of software<span style='mso-spacerun:yes'>&nbsp; </span><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Integration of testing and run-time
monitoring with formal <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
class=GramE>techniques</span><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Validation of UML diagrams, and/or</span></font><font
size=2 face=宋体><span lang=ZH-CN style='font-size:10.0pt;font-family:宋体;
mso-ascii-font-family:Arial;mso-hansi-font-family:Arial;mso-bidi-font-family:
Arial'>爎</span></font><span class=SpellE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>equirement</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>
specifications<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Software certification and proof
carrying code<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.<span
style='mso-spacerun:yes'>&nbsp; </span>Integration of formal verification into
software development <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span
style='mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span
class=GramE>projects</span><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>3. Guidelines for paper submission<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Each paper must not exceed 4,000 words and should not be
more than 15 <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>pages</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> long using
11 point font and 1 inch margins on all four sides on <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>letter</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> size paper.
Papers that fail to comply with length limitations <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>risk</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> rejection.
Each submitted paper will be fully referenced and <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>undergo</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> a blind
review process. Author(s)</span></font><font size=2 face=宋体><span lang=ZH-CN
style='font-size:10.0pt;font-family:宋体;mso-ascii-font-family:Arial;mso-hansi-font-family:
Arial;mso-bidi-font-family:Arial'>爉</span></font><span class=SpellE><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>ust</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> not be
identified in the <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>submissions</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, either
explicitly or by implication. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Before submitting paper,</span></font><font size=2 face=宋体><span
lang=ZH-CN style='font-size:10.0pt;font-family:宋体;mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;mso-bidi-font-family:Arial'>燼</span></font><span
class=SpellE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
Arial'>uthor</span></font></span><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>(s) should submit a separate cover
page <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>that</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> includes
title, abstract, list of keywords, and list of authors with <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>full</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> names and
postal addresses, telephone numbers, fax numbers, and <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>e-mail</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> addresses.
One of the authors must be designated as the primary <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>contact</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> person.
Please upload the cover page via <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>http://milo.cs.iupui.edu/sac2006/SubmitAbstract.aspx?TrackID=62.
<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>A confirmation email with further instructions on paper
submission will <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>be</span></font></span><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'> sent to the
contact author. Please contact track chairs or Jeff Allen <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>(jallen@cs.iupui.edu) for any
problems with submission.</span></font></span><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Authors of accepted papers must submit an editorial revision
of their <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>papers</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> that must
fit within five two-column pages following the ACM <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>proceedings</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> format (an
extra three extra pages may be available at <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>additional</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> cost to the
authors). At least one of the authors of an</span></font><font size=2 face=宋体><span
lang=ZH-CN style='font-size:10.0pt;font-family:宋体;mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;mso-bidi-font-family:Arial'>燼</span></font><span
class=SpellE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
Arial'>ccepted</span></font></span><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'> <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>paper</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> must
register for the conference and present the paper. Accepted <o:p></o:p></span></font></p>

<p class=MsoNormal><span class=GramE><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'>papers</span></font></span><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> will be
published in the ACM SAC 2006 proceedings. <o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>4. Important dates<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.
Electronic submission of full papers: </span></font><st1:date Month="9" Day="3"
Year="2005"><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
 Arial'>September 3, 2005</span></font></st1:date><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.
Notification of paper acceptance: </span></font><st1:date Month="10" Day="15"
Year="2005"><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
 Arial'>October 15, 2005</span></font></st1:date><font size=2 face=Arial><span
style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.
Camera-ready copy of accepted paper due: </span></font><st1:date Month="11"
Day="5" Year="2005"><font size=2 face=Arial><span style='font-size:10.0pt;
 font-family:Arial'>November 5, 2005</span></font></st1:date><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>5. Program Committee<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p>&nbsp;</o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. <span
class=SpellE>Franjo</span> <span class=SpellE>Ivancic</span>, NEC Labs America,
Inc, </span></font><st1:country-region><st1:place><font size=2 face=Arial><span
  style='font-size:10.0pt;font-family:Arial'>U.S.A.</span></font></st1:place></st1:country-region><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. <span
class=SpellE><span class=GramE>Radu</span></span><span class=GramE> <span
class=SpellE>Grosu</span>, </span></span></font><st1:place><st1:City><span
  class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
  Arial'>SUNY-Stony Brook</span></font></span></st1:City><span class=GramE><font
 size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font></span><st1:country-region><span
  class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
  Arial'>U.S.A.</span></font></span></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>.
Francesco Logozzo, </span></font><st1:place><st1:City><span class=SpellE><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Ecole</span></font></span><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> <span
  class=SpellE>Polytechnique</span></span></font></st1:City><font size=2
 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>France</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. Lunjin <span
class=GramE>Lu(</span>Co-Chair), </span></font><st1:place><st1:City><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Oakland
  University</span></font></st1:City><font size=2 face=Arial><span
 style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>U.S.A.</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. <span
class=SpellE><span class=GramE>Madhusudan</span></span><span class=GramE> <span
class=SpellE>Parthasarathy</span>, </span></span></font><st1:place><st1:City><span
  class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
  Arial'>UIUC</span></font></span></st1:City><span class=GramE><font size=2
 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font></span><st1:country-region><span
  class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
  Arial'>U.S.A.</span></font></span></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. Robby, </span></font><st1:State><st1:place><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Kansas</span></font></st1:place></st1:State><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> State
University, </span></font><st1:country-region><st1:place><font size=2
  face=Arial><span style='font-size:10.0pt;font-family:Arial'>U.S.A.</span></font></st1:place></st1:country-region><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. <span
class=SpellE>Abhik</span> <span class=SpellE>Roychoudhury</span>, </span></font><st1:place><st1:City><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>National
  Univ.</span></font></st1:City><font size=2 face=Arial><span style='font-size:
 10.0pt;font-family:Arial'> </span></font><st1:country-region><font size=2
  face=Arial><span style='font-size:10.0pt;font-family:Arial'>Singapore</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. <span
class=SpellE>Fausto</span> <span class=SpellE>Spoto</span>, Univ. </span></font><st1:place><st1:City><span
  class=SpellE><font size=2 face=Arial><span style='font-size:10.0pt;
  font-family:Arial'>di</span></font></span><font size=2 face=Arial><span
  style='font-size:10.0pt;font-family:Arial'> Verona</span></font></st1:City><font
 size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Italy</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. Frank
Stomp, </span></font><st1:place><st1:City><font size=2 face=Arial><span
  style='font-size:10.0pt;font-family:Arial'>Wayne State <span class=GramE>University</span></span></font></st1:City><span
 class=GramE><font size=2 face=Arial><span style='font-size:10.0pt;font-family:
 Arial'> ,</span></font></span><st1:country-region><font size=2 face=Arial><span
  style='font-size:10.0pt;font-family:Arial'>U.S.A.</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. Zijiang
<span class=GramE>Yang(</span>Co-Chair), </span></font><st1:place><st1:City><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>Western
  Michigan University</span></font></st1:City><font size=2 face=Arial><span
 style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
  size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'>U.S.A.</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'><o:p></o:p></span></font></p>

<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><span style='mso-spacerun:yes'>&nbsp;&nbsp; </span>. Tian
Zhao, University of Wisconsin-Milwaukee, U.S.A<o:p></o:p></span></font></p>

<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p>&nbsp;</o:p></span></font></p>

</div>

</body>

</html>