<HTML><HEAD><TITLE>IWVC 2009 Abstract</TITLE>
<META http-equiv=Content-Type content="text/html; charset=unicode">
<META http-equiv=content-style-type content=text/css>
<META content="MSHTML 6.00.2900.3429" name=GENERATOR>
<STYLE type="text/css">
<!--

A:link { /*未訪問リンクの設定*/
   color : #333388;/*色の設定*/
}
A:visited { /*訪問済みリンクの設定*/
   color : #41678D;/*色の設定*/
}

A:active { /*クリックしたときの設定*/
   color : #333388;/*色の設定*/
}

A:hover { /*マウスが乗ったときの設定*/
   color: #AA3344;/*色の設定*/
}

-->
</STYLE>

</HEAD>
<body  align="center" style="margin:0px;" bgcolor="#e9efef">

<table  align="center" border="0" cellpadding="10" cellspacing="0" align="left" 
 bgcolor="#e9efef" width=800>
 <tr>
  <td bgcolor="#aecdef" align=center>
   <h1 align=center>
     <font color="#5E0000" face="Times New Roman">
    International workshop on verified computations<br>
    and related topics
     </font>
   </h1>

   <font color="#5E0000" face="Times New Roman" size="4">
    <b>March 7-10, 2009</b><br>
    <b>University of Karlsruhe (TH), Germany</b>
  </td>
</TR>

  <TR>
    <TD vAlign=bottom align=right><FONT face="Times New Roman" color=#5e0000 
      size=2>Last modified: 1 December, 2008</FONT> </TD></TR>
  <TR>
    <TD><FONT face="Times New Roman" color=#41678d size=4><A 
      href="index.html"><B>Top</B></A> 
      | <FONT face="Times New Roman" color=#41678d size=4><A 
      href="speaker.html"><B>Speakers</B></A> 
      | <B>Program [html]</B> | <B>Program [PDF]</B> </FONT></FONT></TD>
    <TD></TD></TR>
  <TR>
    <TD><BR><FONT face="Times New Roman" color=#41678d size=4><B>Extended 
      Abstract</B> </FONT><BR>
      <TABLE cellSpacing=5 cellPadding=5 bgColor=#e9efef border=0 font 
      color="#5E0000">

        <TR>
          <TD><FONT face="Times New Roman" color=#5e0000 size=3><B>Sample 
            Form</B></FONT></TD>
          <TD><FONT face="Times New Roman" color=#5e0000 size=3><A 
            href="abstract.tex"><B>Download 
            [TeX]</B></A></FONT></TD></TR>
        <TR>
          <TD><BR><FONT face="Times New Roman" color=#5e0000 size=3><B>Abstract 
            Instruction</B></FONT></TD>
          <TD><FONT face="Times New Roman" color=#5e0000 size=3><A 
            href="abstract.pdf"><BR><B>Download 
            [PDF]</B></A></FONT><BR></TD></TR>
         <TR>
          <TD><BR><FONT face="Times New Roman" color=brown size=4><B>Deadline</B></FONT><BR><BR><BR></TD>
          <TD><BR><FONT face="Times New Roman" color=brown size=4><B>20 January, 2009</B></FONT>
              <BR><BR>Please send it in PDF with a TeX source to <u>iwvc2009@math.kyushu-u.ac.jp</u></TD></TR>

</TABLE></TD>
    <TD></TD></TR></TABLE></BODY></HTML>