From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,LONGWORDS,SPF_FAIL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 8106DBC54 for ; Mon, 17 Aug 2009 00:21:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsAFAN8jiEqKZAhMe2dsb2JhbACFN5QSgTUBAQsLCQgTBahFjXqEGQWBTVw X-IronPort-AV: E=Sophos;i="4.43,391,1246831200"; d="scan'208";a="31209759" Received: from relay.fi.upm.es (HELO relay3.fi.upm.es) ([138.100.8.76]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 17 Aug 2009 00:21:44 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by relay3.fi.upm.es (Postfix) with ESMTP id 0CFD0ACDBA3 for ; Mon, 17 Aug 2009 00:21:44 +0200 (CEST) X-Virus-Scanned: by amavisd-new using ClamAV at efiltro.fi.upm.es Received: from clip.dia.fi.upm.es (clip.dia.fi.upm.es [138.100.11.74]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by relay3.fi.upm.es (Postfix) with ESMTP id DF098ACDA6F for ; Mon, 17 Aug 2009 00:21:43 +0200 (CEST) Received: from herme by clip.dia.fi.upm.es with local-rmail (Exim 4.69) (envelope-from ) id 1McfeG-00068y-H8 for caml-list@inria.fr; Sun, 16 Aug 2009 15:19:48 +0200 X-Mailer: emacs 22.2.1 (via feedmail 11-beta-1 Q); VM 7.19 under Emacs 22.3.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <19080.1775.993723.527646@gazelle.local> Date: Sun, 16 Aug 2009 15:17:35 +0200 Reply-To: Manuel Hermenegildo From: Manuel Hermenegildo To: caml-list@inria.fr Subject: CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: herme@clip.dia.fi.upm.es X-SA-Exim-Scanned: No (on clip.dia.fi.upm.es); SAEximRunCond expanded to false X-Spam: no; 0.00; hermenegildo:01 redistribute:01 model:01 co-located:01 popl:01 model:01 co-located:01 lncs:01 lncs:01 barthe:01 hermenegildo:01 cousot:01 rustan:01 leino:01 markus:01 ---------------------------------------------------------------------- *** CALL FOR PAPERS -- EXTENDED DEADLINE: Aug 21/28 *** [ Please redistribute. Apologies for multiple postings. ] VMCAI 2010 The Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation Madrid, Spain, January 17-19, 2010 (Co-located with POPL 2010) http://software.imdea.org/events/vmcai10/ ---------------------------------------------------------------------- VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. VMCAI'10 is co-located with the POPL'10 conference. The program of VMCAI'10 will consist of invited lectures, invited tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to: program verification program certification model checking debugging techniques abstract interpretation abstract domains static analysis type systems deductive methods optimization Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings will be published by Springer in the Lecture Notes in Computer Science series. The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers. Formatting style files can be found at: http://www.springer.de/comp/lncs/authors.html Please visit the conference website for more information. Important Dates (extended): - Submission of abstracts: August 21, 2009 - Submission of papers: August 28, 2009 - Notification of acceptance: October 2, 2009 - Final version due: October 30, 2009 - Conference: January 17-19, 2010 Program Chairs: Gilles Barthe, IMDEA Software, Spain Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain Program Committee: Christel Baier, Technische Universitaet Dresden, Germany Patrick Cousot, Ecole Normale Superieure, France Javier Esparza, Technische Universitaet Muenchen, Germany Patrice Godefroid, Microsoft Research, USA Orna Grumberg, Technion, Israel Sumit Gulwani, Microsoft Research, USA Joxan Jaffar, National University of Singapore Rustan Leino, Microsoft Research, USA Ken McMillan, Cadence, USA Markus Mueller-Olm, Universitaet Muenster, Germany Hanne Riis Nielson, Technical University of Denmark Xavier Rival, Ecole Normale Superieure and INRIA, France David Sands, Chalmers University of Technology, Sweden David Schmidt, Kansas State University, USA Hongseok Yang, Queen Mary, University of London, United Kingdom Kwangkeun Yi,Seoul National University, Korea Greta Yorsh, IBM TJ Watson Research Center, NY, USA Steering Committee: Tino Cortesi, Universita Ca Foscari, Venice, Italy Patrick Cousot, Ecole Normale Superieure, France E. Allen Emerson, University of Texas at Austin, USA Giorgio Levi, University of Pisa, Italy Andreas Podelski, Universitaet Freiburg, Germany Thomas W. Reps, University of Wisconsin at Madison, USA David Schmidt, Kansas State University, USA Lenore Zuck, University of Illinois at Chicago, USA ----------------------------------------------------------------------