From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6S9dJfX030789 for ; Thu, 28 Jul 2011 11:39:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQFAOctMU6DnwAkgWdsb2JhbAA2BgEBHx4ODBoUAwECBwJRBAgDER1bBKdJFAEBFiYWD4h+AsI+hWJfBJgAhGWGeg X-IronPort-AV: E=Sophos;i="4.67,281,1309730400"; d="scan'208";a="104096539" Received: from mail-out2.informatik.tu-muenchen.de ([131.159.0.36]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Jul 2011 11:39:14 +0200 Received: from lynx.model (lynx.model [192.168.248.173]) by post.in.tum.de (Postfix) with ESMTP id D467A6806F; Thu, 28 Jul 2011 11:16:48 +0200 (CEST) Received: from mail.model.in.tum.de (calf.model [192.168.248.165]) by lynx (Postfix) with ESMTP id E772E4607 for ; Thu, 28 Jul 2011 10:54:19 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mail.model.in.tum.de (Postfix) with ESMTP id CF60C520DA; Thu, 28 Jul 2011 10:54:19 +0200 (CEST) X-Virus-Scanned: by amavisd-new/clamav/sophos at mail.model.in.tum.de Received: from mail.model.in.tum.de ([127.0.0.1]) by localhost (calf.model [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 1XnV4FygCizE; Thu, 28 Jul 2011 10:54:17 +0200 (CEST) Received: by mail.model.in.tum.de (Postfix, from userid 8) id CD738520EC; Thu, 28 Jul 2011 10:54:17 +0200 (CEST) X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on calf.model X-Spam-Level: Received: from post.in.tum.de (bull.model [192.168.248.166]) by mail.model.in.tum.de (Postfix) with ESMTP id 732B5520DA; Thu, 28 Jul 2011 10:54:10 +0200 (CEST) Received: from [192.168.2.108] (p5DC7DDA1.dip.t-dialin.net [93.199.221.161]) (Authenticated sender: rybal) by post.in.tum.de (Postfix) with ESMTP id 351036806F; Thu, 28 Jul 2011 10:54:09 +0200 (CEST) From: Andrey Rybalchenko Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Thu, 28 Jul 2011 10:54:27 +0200 To: vmcai2012@ural.informatik.tu-muenchen.de Message-Id: <4E9384C0-E480-4548-A236-B7776AD63502@in.tum.de> Mime-Version: 1.0 (Apple Message framework v1244.3) X-Mailer: Apple Mail (2.1244.3) X-BeenThere: vmcai2012@lists.model.in.tum.de X-Mailman-Version: 2.1.9 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Sender: vmcai2012-bounces@ural.informatik.tu-muenchen.de Errors-To: vmcai2012-bounces@ural.informatik.tu-muenchen.de X-Validation-by: rybal@in.tum.de Subject: [Caml-list] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS VMCAI 2012 CALL FOR PAPERS 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) http://lara.epfl.ch/vmcai2012/ January 22-24, 2012, Philadelphia, USA Collocated with POPL 2012 ( http://www.cse.psu.edu/popl/12/ ) 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages SCOPE 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 that combine these and related areas. The program of VMCAI'12 will consist of refereed research papers and tool demonstrations, as well as invited lectures and tutorials. 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, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyberphysical systems. 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 overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Proceedings are published by Springer Verlag as volumes in the Lecture Notes in Computer Science series. IMPORTANT DATES Abstract Submission: August 12, 2011 Paper Submission: August 19, 2011 Acceptance Notification: October 10, 2011 Conference: January 22-24, 2012 (right before POPL) The submission system is now open and early submissions are welcome. The deadlines are strict and will not be changed. SUBMISSION INSTRUCTIONS The VMCAI 2012 proceedings will be published as a volume in Springer's 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 and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection. Please prepare your submission in accordance with the rules described above and submit a pdf file via http://www.easychair.org/conferences/?conf=vmcai2012 PROGRAM COMMITTEE Josh Berdine Nikolaj Bjorner Bor-Yuh Evan Chang Wei-Ngan Chin Radhia Cousot Sophia Drossopoulou Philippa Gardner Patricia Hill Marieke Huisman Radu Iosif Daniel Kroening Viktor Kuncak Barbara Koenig Francesco Logozzo Rupak Majumdar Greg Morrisett Corina Pasareanu Andreas Podelski Sriram Rajamani Andrey Rybalchenko Mooly Sagiv Sriram Sankaranarayanan Helmut Veith Heike Wehrheim Eran Yahav Lenore Zuck PC CHAIRS Viktor Kuncak, EPFL, Switzerland Andrey Rybalchenko, TUM, Germany VMCAI STEERING COMMITTEE Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy Patrick Cousot, Ecole Normale Superieure, France E. Allen Emerson, University of Texas at Austin, USA Andreas Podelski, University of 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 ADDITIONAL INFORMATION Please consult http://lara.epfl.ch/vmcai2012/ or contact PC chairs.