* Call for Participation: VSTTE 2009
@ 2009-10-13 15:06 Jean-Christophe Filliâtre
0 siblings, 0 replies; only message in thread
From: Jean-Christophe Filliâtre @ 2009-10-13 15:06 UTC (permalink / raw)
To: caml-list
*********************************************************
* *
* 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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-10-13 15:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-10-13 15:06 Call for Participation: VSTTE 2009 Jean-Christophe Filliâtre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).