* *
* 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.
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
