GCVS 2010: Workshop on the Grand Challenge in Verified Software

GCVS 2010: Workshop on the Grand Challenge in Verified Software

[jim]

*********************************************************************

    =09=09 Call for Papers - GCVS 2010
     Workshop on the Grand Challenge in Verified Software
               Edinburgh, Scotland
                14th July, 2010

                Affiliated with the
    International Conference on Computer-Aided Verification
                    CAV 2010

 =09 http://www.dimap.ufrn.br/~marcel/events/gcvs2010/

**********************************************************************

The workshop on the Grand Challenge in Verified Software (GCVS
2010) will take place on July the 14th. The focus of this
workshop will be on tools, 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.
This includes topics like: program logic; specification and
verification techniques; tool support for specification
languages; tool for various design methodologies; tool
integration and plug-ins; automation in formal verification;
tool comparisons and benchmark repositories; combination of
tools and techniques (e.g. formal vs. semiformal, software
specification vs. engineering techniques); and customising
tools for particular applications.

Papers about tool architectures and their achievements are most
welcome. The contributed papers, which should report on
previously unpublished work, can reflect current and
preliminary work in areas of software verification. New
technical results, overviews of new developments in software
verification projects, short papers accompanying tool
demonstrations, as well as position papers on how to further
advance the goal of verified software are all welcome.

Papers will be judged on the basis of originality, relevance,
technical soundness and presentation quality. Papers must be
written in English and not exceed 20 pages in the Formal
Aspects of Computing format. Papers can be submitted via the
following link:
http://www.easychair.org/conferences/?conf=3Dgcvs2010. A special
issue of Formal Aspects of Computing is under negotiation.
These would be refereed in the usual fashion prior to
acceptance by the journal.


*********************************************************************

Important Dates

Abstract submission: April 11, 2010

Paper submission: April 18, 2010

Notification of acceptance: May 23, 2010

Final version due: June 6, 2010

*********************************************************************

*********************************************************************

Chairs

Joey Coleman and Marcel Oliveira

Program Committee

Andrew Butterfield; Supratik Chakraborty; Patrick Cousot; Mike
Dodds; Jos=E9 Luiz Fiadeiro; Jean-Christophe Filliatre; J. S.
Fitzgerald; Leo Freitas; Kokichi Futatsugi; Chris George; Ian
Hayes; Mark Hillebrand; Cliff Jones; Joseph Kiniry; Daniel
Kroening; Yassine Lakhnech; Peter Gorm Larsen; Zhiming Liu; Tom
Maibaum; Tiziana Margaria; Annabelle McIver; Peter M=FCller;
David Naumann; Jose Oliveira; Andreas Podelski; Wolfram
Schulte; Kaisa Sere; Jim Woodcock; Jian Zhang.

*********************************************************************


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]