[TYPES/announce] Constraints in Formal Verification (CFV2015) Call for Participation: Austin, TX, USA

Rozier, Kristin Yvonne (rozierky) rozierky at uc.edu
Tue Sep 29 12:31:36 EDT 2015


************************************************************************
 The Ninth International Workshop on Constraints in Formal Verification
                                CFV'15

               http://iccad.com/event_details?id=196-51-

           5 November 2015        /        Austin, Texas, USA
************************************************************************


Overview:
---------
Formal verification is of crucial significance in the development of hardware and software systems. In the last decade, tremendous progress was made in both the speed and capacity of constraint technology. Most notably, Boolean Satisfiability (SAT) solvers have become orders of magnitude faster and capable of handling problems that are orders of magnitude bigger, thus enabling the formal verification of more complex computer systems. As a result, the formal verification of hardware and software has become a promising area for research and industrial applications. Constraints have applications to all formal verification methods. Particularly, the efficient use of constraints can make or break a formal verification run, and can result in orders of magnitude speedup and orders of magnitude increase in scalability for solving of larger problems.

The main goal of the Constraints in Formal Verification workshop is to bring together researchers from the CSP/SAT/SMT and the formal verification communities, to describe new applications of constraint technology to formal verification, to disseminate new challenging problem instances, and to propose new dedicated algorithms for hard formal verification problems. This workshop will be of interest to researchers from both academia and industry, working on constraints or on formal verification and interested in the application of constraints to formal verification.


Scope:
------
The scope of the workshop includes topics related to the application of constraint technology to formal verification, namely:
   * application of constraint solvers to hardware verification;
   * application of constraint solvers to software verification;
   * dedicated solvers for formal verification problems;
   * challenging formal verification problems.


Location:
---------
The workshop will take place in the Doubletree Hotel in Austin Texas, on November 5, 2015. It will be structured to allow ample time for discussion and demonstration of new tools and new problem instances.


Registration:
-------------
http://iccad.com/registration-rates
Just $175 registration for IEEE or ACM members ($150 for students)!


Invited Speakers:
-----------------
Santosh Nagarakatte, Rutgers University, New Brunswick, U.S.A.
Talk title: Lightweight Formal Methods for LLVM Verification

Corina Pasareanu, Carnegie Mellon/NASA Ames Research Center, U.S.A.
Talk title: On the Probabilistic Analysis of Software


Full Program:
-------------
https://iccad.com/sites/2013.iccad.com/files/files/CFV15_program.pdf


General Chair:
--------------
Miroslav Velev, Aries Design Automation, U.S.A.
Email: mvelev at gmail.com


Program Chair:
--------------
Alex Groce, Oregon State University, U.S.A.
Email: agroce at gmail.com


Publicity Chair:
----------------
Kristin Yvonne Rozier, University of Cincinnati, U.S.A.
Email: rozierky at uc.edu

--
 ____________________________________________________________
                                    __
           /\                       \ \_____
          /  \                   ###[==_____>
         /    \                     /_/      __
        /  __  \                             \ \_____
        | (  ) |                          ###[==_____>
       /| /\/\ |\                            /_/
      / | |  | | \
     /  |=|==|=|  \       Kristin Yvonne Rozier, Ph.D.
   /    | |  | |    \       Assistant Professor
  / USA | ~||~ |NASA \    University of Cincinnati
 |______|  ~~  |______|     Departments of Aerospace Engineering
        (__||__)              and Computer Science
        /_\  /_\            Phone: (513) 556-3544
        !!!  !!!          http://temporallogic.org/kyr

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150929/a3050398/attachment.html>


More information about the Types-announce mailing list