← Back to team overview

opaal-developers team mailing list archive

Fwd: GCVS 2010: Workshop on the Grand Challenge in Verified Software

 

Dette kunne være interssant ift opaal


---------- Forwarded message ----------
From:  <jim@xxxxxxxxxxxxx>
Date: Mon, Feb 15, 2010 at 12:07
Subject: GCVS 2010: Workshop on the Grand Challenge in Verified Software
To: kyrke@xxxxxxxxx


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

                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.

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



-- 
Indtil næste gang (Until next time)
Kenneth Yrke Jørgensen

www.yrke.dk/contact