Your CFP

[Administrator of mailing lists of CIG]

Hello,
first let us thank you for your interest in using our 
Event at CIG announcement
and CfP distribution list.

Although your announcement is certainly relevant for the 
audience of our list,
it does not comply with the obvious rules for CfP 
announcements. You forgot to
fill the Subject line of the e-mail.

If you still want your announcement to be distributed via 
Event at CIG list, please
resend it in the same form as you did the last time, 
however with properly
filled Subject line of the e-mail.

Best regards,

Peter Novak, Event at CIG administrator and moderator.



On Thu, 6 Dec 2007 22:31:52 -0000 (UTC)
  paige at cs.york.ac.uk wrote:
> Apologies for any cross-posting.
> 
> ---
> 
> 		PRELIMINARY CALL FOR PAPERS
> 		Second IFIP Working Conference on
> 	Verified Software: Theories, Tools, and Experiments
> 
> 				VSTTE 2008
> 		http://qpq.csl.sri.com/vsr/vstte-08
> 		Oct 6--10, 2008, Toronto, Canada
> 
> Program Chairs:
> Jim Woodcock, University of York, jim at cs.york.ac.uk
> Natarajan Shankar, SRI International, 
>shankar at csl.sri.com
> 
> Program Committee:
> 
> Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin 
>Song Dong,
> Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian 
>Hayes,
> Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine 
>Lakhnech,
> Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana 
>Margaria,
> David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, 
>Wolfgang Paul,
> Augusto Sampaio, Mark Utting, Jian Zhang
> 
> Conference Chair:
> Eric Hehner, University of Toronto, 
>hehner at cs.utoronto.ca
> 
> Workshop Chair: tba
> 
> Publicity Chair:
> Richard Paige, University of York, paige at cs.york.ac.uk
> 
> Steering Committee:
> Tony Hoare, Jay Misra
> 
> Important Dates:
> 
> April 30 2008:Submission deadline
> June 30 2008:Decisions on papers
> July 31 2008 Final versions due
> October 6--9 2008: VSTTE 2008
> 
> 
> The Second IFIP Working Conference on Verified Software: 
>Theories,
> Tools, and Experiments follows a successful inaugural 
>working conference at
> Zurich, Switzerland in 2005.This conference formally 
>inaugurates the
> Verified Software Initiative (VSI), a fifteen-year, 
>cooperative,
> international project directed at the scientific 
>challenges of large-scale
> software verification.It is open to anyone who is 
>interested in
> participating actively in the VSI effort.
> 
> Scope: VSTTE 2008 invites submissions of technical 
>papers on all
> aspects of verified software covering theoretical as 
>well as
> experimental. The topics include requirements modeling, 
>specification
> languages, specification case-studies, formal calculi, 
>programming
> languages, language semantics, software design methods, 
>software testing,
> automatic code generation, refinement methodologies, 
>type systems,
> computer
> security, verification tools (static analysis, dynamic 
>analysis, model
> checking, theorem proving, satisfiability), tool 
>integration,
> benchmarks, challenge problems, and integrated 
>verification environments.
> We are especially interested in specific challenges such 
>as the POPLMark
> (http://alliance.seas.upenn.edu/ 
>plclub/cgi-bin/poplmark/), File system
> (http://www.cs.york.ac.uk/circus/mc/abz), and medical 
>devices
> (http://www.cas.mcmaster.ca/sqrl/pacemaker.htm).
> 
> Invited Speakers:
> 
> Andreas Podelski, University of Freiburg
> Sriram Rajamani, Microsoft Research
> John Reynolds, Carnegie-Mellon University
> Moshe Vardi, Rice University
> 
> Submissions: Submitted research papers and system 
>descriptions
> must be original and not submitted for publication 
>elsewhere.Research
> paper submissions are limited to 15 proceedings pages 
>and must include a
> cogent and self-contained description of the ideas, 
>methods, results,
> and comparison to existing work. Submissions of 
>theoretical, practical, and
> experimental contributions are equally encouraged, 
>including those that
> focus on specific problems or problem domains.
> 
> Papers can be submitted at 
>http://www.easychair.org/VSTTE08.
> 
> Submissions that arrive late or are too long will not be 
>considered.The
> proceedings of VSTTE 2008 will be published by 
>Springer-Verlag in the
> LNCS series.Authors of accepted papers will be requested 
>to sign a form
> transferring copyright of their contribution to 
>Springer-Verlag.The use
> of LaTeX and the Springer llncs class files, obtainable 
>from
> http://www.springer.de/comp/lncs/authors.html, is 
>strongly encouraged.
> 
> ============================================================
>