[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFV'09: Call for Participation



Call for Participation

CFV'09:  Sixth International Workshop on Constraints in Formal Verification
Grenoble, France, June 26, 2009.
A satellite event of the 21st International Conference on Computer Aided Verification (CAV’09)


Program

9:00 - 10:00 Session 1
9:00 - 10:00 Invited Talk: SAT and SMT Solving in a Multi-Core Environment
             Bernd Becker (University of Freiburg, Germany)

10:00 - 10:30 Break

10:30 - 12:30 Session 2
10:30 - 11:00 Robustness Check for Multiple Faults Using Formal Techniques
              Stefan Frehse, Goerschwin Fey, Andre Suelflow, and Rolf Drechsler (University of Bremen, Germany) 
11:00 - 11:30 A Debug Methodology for Arithmetic Circuits Based on Horner Expansion Diagram
              Omid Sarbishei (Sharif University of Technology, Iran), Bijan Alizadeh (University of Tokyo, Japan), Masahiro Fujita (University of Tokyo, Japan) 
11:30 - 12:00 A New Prenexing Strategy for Quantified Boolean Formulae with Bi-Implications
              Benoit Da Mota, Igor Stéphan, and Pascal Nicolas (LERIA University of Angers, France) 
12:00 - 12:30 Using QBF to Increase the Accuracy of SAT-Based Debugging
              Andre Suelflow, Goerschwin Fey, and Rolf Drechsler (University of Bremen, Germany) 

12:30 - 14:00 Lunch (Provided)

14:00 - 15:30 Session 3
14:00 - 15:00 Invited Talk: SMT Solving and Applications of Bit-Level Constraints
              Nikolaj Bjørner (Microsoft Research, U.S.A.) 
15:00 - 15:30 Sound, Efficient, Bit-Precise Static Analysis
              Yannick Moy, Nikolaj Bjørner, and David Sielaff (Microsoft Research, U.S.A.)

15:30 - 16:00 Break

16:00 - 17:00 Session 4
16:00 - 16:30 Enclosure Constraints for Floating Point Software Verification
              Jan Duracz, Amin Farjudian, and Michal Konecny (Aston University, U.K.)
16:30 - 17:00 Randomized Metric Embeddings for Analyzing Protein Folding Pathway Constraints
              Sumit K. Jha (Carnegie Mellon University, U.S.A.), and Susmit Jha (UC Berkeley, U.S.A.) 


Registration for CFV'09 is through the CAV registration page:
http://www-cav2009.imag.fr/registration.php


CFV'09 web site: http://www.miroslav-velev.com/cfv09.html