[TYPES/announce] Call for Participation: VSTTE 2009

Jean-Christophe Filliâtre Jean-Christophe.Filliatre at lri.fr
Tue Oct 13 10:58:36 EDT 2009


*********************************************************
*                                                       *
*                     VSTTE  2009                       *
*                                                       *
*            Workshop on Verified Software              *
*            Theory Tools  and Experiments              *
*        (affiliated with Formal Methods Week)          *
*                                                       *
*           *** Call For Participation ***              *
*                                                       *
*                   November 2, 2009                    *
*              Eindhoven, the Netherlands               *
*                http://vstte09.lri.fr/                 *
*                                                       *
*********************************************************

The workshop on Verified Software: Theories, Tools,   and
Experiments (VSTTE 2009) will take place on  November the
2nd.   The focus  of this workshop  will be on tools,  as
previous   VSTTE   conferences  in  Zurich   and  Toronto
emphasised  theories  and  experiments.    Consisting  of
contributed papers  and invited talks,  the workshop will
focus on the tools  behind the development  of systematic
methods   for   specifying,   building,     and verifying
high-quality software.

Program
=======

09:00-10:00 - Rajeev Joshi, NASA JPL US
	      TBA

10:30-11:30 - Discovering Specifications for Unknown Procedures with
Separation Logic
              Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He
and Wei-Ngan Chin.

              On Essential Program Annotations and Completeness of
Verifying Compilers
              Bernhard Beckert, Thorsten Bormer and Vladimir Klebanov.

11:30-12:30 - Jim Woodcock, University of York UK
	      TBA

13:30-14:30 - Pascal Cuoq, CEA France
	      TBA

14:30-15:30 - SMT Solvers: New Oracles for the HOL Theorem Prover
              Tjark Weber.

              An Interval-based SAT Modulo ODE Solver for Model Checking
Nonlinear Hybrid Systems
	      Daisuke Ishii, Kazunori Ueda and Hiroshi Hosobe.

16:00-17:00 - John McDermott, Naval Research Lab US
	      TBA

              Kalou Cabrera Castillos, INRIA Nancy France
	      TBA


Registration
============

Participants can register for any combination of FM2009
activities, inclusing VSTTE 2009, at
http://www.win.tue.nl/fmweek/Registration.html

Deadline for (normal) registration is October 19.



More information about the Types-announce mailing list