<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=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
pre
{mso-style-priority:99;
mso-style-link:"HTML Preformatted Char";
margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
span.HTMLPreformattedChar
{mso-style-name:"HTML Preformatted Char";
mso-style-priority:99;
mso-style-link:"HTML Preformatted";
font-family:Consolas;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[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>
<body lang=EN-US link=blue vlink=purple style='word-wrap: break-word;
-webkit-nbsp-mode: space;-webkit-line-break: after-white-space'>
<div class=Section1>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p> </o:p></span></font></p>
<div>
<div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
</div>
</div>
<div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>***************************************************************************<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>
DIFTS'13<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>
DESIGN and IMPLEMENTATION of FORMAL TOOLS
and SYSTEMS<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>
CALL FOR
PAPERS<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>***************************************************************************<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Second
International Workshop on Design and Implementation of Formal Tools<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>and
Systems (co-located with FMCAD and MEMOCODE 2013)<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><a
href="http://www.cmpe.boun.edu.tr/difts13/">http://www.cmpe.boun.edu.tr/difts13/</a><o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Portland,
OR, USA<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>October
19, 2013<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'>IMPORTANT DATES<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'>Paper submission:
July 24, 2013<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'>Author notification:
August 24, 2014<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face="Times New Roman"><span
style='font-size:10.5pt;color:black'>INVITED SPEAKERS<o:p></o:p></span></font></p>
</div>
<pre style='word-wrap: break-word;white-space:pre-wrap'><font size=2
color=black face=Calibri><span style='font-size:10.0pt;font-family:"Calibri","sans-serif";
color:black'>Rance Cleaveland, Reactive Systems Inc., USA<o:p></o:p></span></font></pre><pre><font
size=2 color=black face=Calibri><span style='font-size:10.0pt;font-family:"Calibri","sans-serif";
color:black'>Masahiro Fujita, The University of Tokyo, Japan<o:p></o:p></span></font></pre><pre><font
size=2 color=black face=Calibri><span style='font-size:10.0pt;font-family:"Calibri","sans-serif";
color:black'>Dhiraj Goswami, Synopsys Inc., USA</span></font><font color=black><span
style='color:black'><o:p></o:p></span></font></pre></div>
<div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>WORKSHOP
SCOPE<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>DIFTS
(Design and Implementation of Formal Tools and Systems) workshop<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>emphasizes
insightful experiences in formal tools and systems design. The<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>first
DIFTS workshop was held in 2011. It provides a forum for sharing<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>challenges
and solutions that are original with ground breaking results.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Often
the design and implementation of tools for formal analysis require<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>non-trivial
engineering decisions. Many challenges are faced, which often can<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>only be
met with ingenious implementation techniques. These techniques actually<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>play a
crucial role in making the idea work in practice. The workshop provides<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>an
opportunity for discussing engineering aspects and various design decisions<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>required
to put such formal tools and systems into practical use.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>TOPICS
OF INTEREST<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>DIFTS
takes a broad view of the formal tools/systems area, and solicits<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>contributions
from domains including, but not restricted to, decision<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>procedures,
verification, testing, validation, diagnosis, debugging, and<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>synthesis.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>This
workshop encourages and appreciates system development activities, and<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>facilitates
transparency in the experimentation. It will also serve as a<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>platform
to discuss open problems and future challenges in practicing formal<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>methods.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>SUBMISSION<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>The
workshop specifically solicits contributions with substantial engineering<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>details
that often do not get published but has significant practical impact.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Papers
in the following two categories are solicited: (a) system category (10<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>pages,
double column, 11pt), and (b) tool category (8 pages, double column,<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>11pt).<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>In the
system category, we invite papers that have original ideas accompanied<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>with
novel integration techniques, adequate design/implementation details,<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>important
design choices made and explored, and good experimental results.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>In the
tool category, we invite papers that focus primarily on the engineering<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>aspects
of some known/popular algorithm, with significant emphasis on the<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>design/implementation
details, and various design choices made to advance<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>current
state-of-the-art approaches.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>The
page limit for submissions in the system category is 10 pages in double<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>column
format and for submissions in the tool category is 8 pages in double<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>column
format.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Submission
of papers should be made electronically in PDF format via EasyChair.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>More
details will be provided on the DIFTS web site.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>EVALUATION<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>To keep
maintain uniformity and fairness in the reviewing process, the program<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>committee
will evaluate the technical contribution of each submission based on<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>the
following guidelines: the paper should provide enough details for others to<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>reproduce
the results; and should solve a clearly-stated problem that is<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>significant
and has wide interest; and the paper should provide enough<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>motivation
for the design choices made. Overall, the paper should also clearly<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>identify
what the main contributions of the work are.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>PUBLICATION<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>All
accepted contributions will be included in informal proceedings.<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>High
quality submissions will be considered for a special issue<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>of
journals such as FMSD (Formal Methods in System Design) or<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>IEEE TC
(Transactions on Computers).<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>ORGANIZATION<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>PROGRAM
CHAIRS<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'> <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Malay
K. Ganai, NEC Labs America, USA <o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Alper
Sen, Bogazici University, Turkey<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>PROGRAM
COMMITTEE<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Armin
Biere, Johannes Kelpler University, Austria<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Gianpiero
Cabodi, Politecnico di Torino, Italy<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Franco
Fummi, University of Verona, Italy<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Malay
K. Ganai, NEC Labs America, USA<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Daniel
Grosse, University of Bremen, Germany<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>William
Hung, Synopsys Inc., USA<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Daniel
Kroening, Oxford University, UK<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Alper
Sen, Bogazici University, Turkey<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Ofer
Strichman, Technion - Israel Institute of Technology, Israel<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'>Chao
Wang, Virginia Tech, USA<o:p></o:p></span></font></p>
</div>
<div>
<p class=MsoNormal><font size=2 color=black face=Calibri><span
style='font-size:10.5pt;font-family:"Calibri","sans-serif";color:black'><o:p> </o:p></span></font></p>
</div>
</div>
</div>
</body>
</html>