Workshop on Constraints in Software Testing, Verification and Analysis

Arnaud Gotlieb <[email protected]> Mon, 11 Sep 2006 10:17:54 +0200

Newsgroups	gmane.comp.lang.lambda-prolog,gmane.science.mathematics.logic.asian,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria,gmane.comp.lang.mercury.general,gmane.comp.ai.case-based-reasoning,gmane.science.mathematics.logic.asian
Message-ID	<[email protected]>

The workshop "Constraints in Software Testing, Verification
and Analysis" (CSTVA'06) will be held during CP'06 on
Sep. 25, 2006 in Nantes.

The program will include an invited talk of Andy King "On 
Modular-Reduction Vulnerabilities", two sessions, six paper
presentations and a short introduction to the V3F project.

The detailed program and the procedings are available on
the website www.irisa.fr/manifestations/2006/CSTVA06/index.htm

Hope to see you in Nantes in a few weeks,
Best regards,

Arnaud Gotlieb