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
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=gcvs2010. 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È 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¸ller;
David Naumann; Jose Oliveira; Andreas Podelski; Wolfram
Schulte; Kaisa Sere; Jim Woodcock; Jian Zhang.
*********************************************************************
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment