From: "Jean-Christophe Filliâtre" <Jean-Christophe.Filliatre@lri.fr>
To: caml-list <caml-list@inria.fr>
Subject: Call for Participation: VSTTE 2009
Date: Tue, 13 Oct 2009 17:06:35 +0200 [thread overview]
Message-ID: <4AD4977B.3040108@lri.fr> (raw)
*********************************************************
* *
* 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.
reply other threads:[~2009-10-13 15:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4AD4977B.3040108@lri.fr \
--to=jean-christophe.filliatre@lri.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).