From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 49F21BBAF for ; Thu, 18 Feb 2010 16:02:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AicEADflfEuBrw8EgWdsb2JhbACbCBUBARYkI75DhGcE X-IronPort-AV: E=Sophos;i="4.49,497,1262559600"; d="scan'208";a="57242070" Received: from ext.lri.fr ([129.175.15.4]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 18 Feb 2010 16:02:57 +0100 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id BF0CCA46F3 for ; Thu, 18 Feb 2010 16:02:57 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id iAi8gd1P+kcM for ; Thu, 18 Feb 2010 16:02:57 +0100 (CET) Received: from [10.200.1.134] (nat-invites.saclay.inria.fr [195.83.213.140]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTP id 9D4E9A46E6 for ; Thu, 18 Feb 2010 16:02:57 +0100 (CET) Message-ID: <4B7D56A1.10102@lri.fr> Date: Thu, 18 Feb 2010 16:02:57 +0100 From: Jean-Christophe Filliatre User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: OCaml Subject: Call for Papers - GCVS 2010 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 cav:01 plug-ins:01 overviews:01 supratik:01 cousot:01 23,:98 coleman:98 hayes:98 cliff:98 sere:98 abstract:01 refereed:01 ********************************************************************* 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. *********************************************************************