[Agda] CFV'09: Call for Participation

Miroslav Velev mvelev at gmail.com
Fri Jun 5 23:01:20 CEST 2009


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090605/970e2df2/attachment.html


More information about the Agda mailing list