<div>Call for Participation</div>
<div><br>CFV'09: Sixth International Workshop on Constraints in Formal Verification<br>Grenoble, France, June 26, 2009.<br>A satellite event of the 21st International Conference on Computer Aided Verification (CAV’09)</div>
<div> </div>
<div>Program</div>
<div><br>9:00 - 10:00 Session 1 <br>9:00 - 10:00 Invited Talk: SAT and SMT Solving in a Multi-Core Environment<br> Bernd Becker (University of Freiburg, Germany) </div>
<div><br>10:00 - 10:30 Break </div>
<div><br>10:30 - 12:30 Session 2 <br>10:30 - 11:00 Robustness Check for Multiple Faults Using Formal Techniques<br> Stefan Frehse, Goerschwin Fey, Andre Suelflow, and Rolf Drechsler (University of Bremen, Germany) <br>
11:00 - 11:30 A Debug Methodology for Arithmetic Circuits Based on Horner Expansion Diagram<br> Omid Sarbishei (Sharif University of Technology, Iran), Bijan Alizadeh (University of Tokyo, Japan), Masahiro Fujita (University of Tokyo, Japan) <br>
11:30 - 12:00 A New Prenexing Strategy for Quantified Boolean Formulae with Bi-Implications<br> Benoit Da Mota, Igor Stéphan, and Pascal Nicolas (LERIA University of Angers, France) <br>12:00 - 12:30 Using QBF to Increase the Accuracy of SAT-Based Debugging<br>
Andre Suelflow, Goerschwin Fey, and Rolf Drechsler (University of Bremen, Germany) </div>
<div><br>12:30 - 14:00 Lunch (Provided) </div>
<div><br>14:00 - 15:30 Session 3 <br>14:00 - 15:00 Invited Talk: SMT Solving and Applications of Bit-Level Constraints<br> Nikolaj Bjørner (Microsoft Research, U.S.A.) <br>15:00 - 15:30 Sound, Efficient, Bit-Precise Static Analysis<br>
Yannick Moy, Nikolaj Bjørner, and David Sielaff (Microsoft Research, U.S.A.) <br></div>
<div>15:30 - 16:00 Break </div>
<div><br>16:00 - 17:00 Session 4 <br>16:00 - 16:30 Enclosure Constraints for Floating Point Software Verification<br> Jan Duracz, Amin Farjudian, and Michal Konecny (Aston University, U.K.) <br>16:30 - 17:00 Randomized Metric Embeddings for Analyzing Protein Folding Pathway Constraints<br>
Sumit K. Jha (Carnegie Mellon University, U.S.A.), and Susmit Jha (UC Berkeley, U.S.A.) </div>
<div> </div>
<div> </div>
<div>Registration for CFV'09 is through the CAV registration page:<br><a href="http://www-cav2009.imag.fr/registration.php">http://www-cav2009.imag.fr/registration.php</a></div>
<p>CFV'09 web site: <a href="http://www.miroslav-velev.com/cfv09.html">http://www.miroslav-velev.com/cfv09.html</a></p>