[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