From mboxrd@z Thu Jan 1 00:00:00 1970 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 pBNJxh9O019817 for ; Fri, 23 Dec 2011 20:59:43 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEAAK/c9E6DnwAImWdsb2JhbAApGqkZgx8iAQEBAQEICwsHFCWBdAYBARodDAoYFAMBAgYCRAQIAylJh3cGI7dFiHWCN2MEpzc X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="124492106" Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Dec 2011 20:59:37 +0100 Received: from lynx.model (lynx.model [192.168.248.173]) by post.in.tum.de (Postfix) with ESMTP id 8DA8A68064; Fri, 23 Dec 2011 20:37:32 +0100 (CET) Received: from mail.model.in.tum.de (calf.model [192.168.248.165]) by lynx (Postfix) with ESMTP id 93FB53FA7 for ; Fri, 23 Dec 2011 20:15:13 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mail.model.in.tum.de (Postfix) with ESMTP id 7CB35520DA; Fri, 23 Dec 2011 20:15:13 +0100 (CET) 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 CdEpXO8HJyUS; Fri, 23 Dec 2011 20:15:11 +0100 (CET) Received: by mail.model.in.tum.de (Postfix, from userid 8) id 207B1520E8; Fri, 23 Dec 2011 20:15:11 +0100 (CET) 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 D40F3520DA; Fri, 23 Dec 2011 20:15:05 +0100 (CET) Received: from new-host.home (ANice-257-1-95-201.w90-27.abo.wanadoo.fr [90.27.246.201]) (Authenticated sender: rybal) by post.in.tum.de (Postfix) with ESMTP id 3A75A68064; Fri, 23 Dec 2011 20:14:57 +0100 (CET) From: Andrey Rybalchenko Content-Type: text/plain; charset=us-ascii Date: Fri, 23 Dec 2011 20:17:22 +0100 To: vmcai2012@ural.informatik.tu-muenchen.de Message-Id: Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) 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 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBNJxh9O019817 X-Validation-by: rybal@in.tum.de Subject: [Caml-list] [VMCAI2012] VMCAI 2012: call for participation VMCAI 2012 13th International Conference on Verification, Model Checking, and Abstract Interpretation Philadelphia, USA, January 22-24, 2012 http://lara.epfl.ch/vmcai2012/program.html Early registration deadline is December 24. https://regmaster3.com/2012conf/POPL12/register.php 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. Invited talks: * Alex Aiken: New applications of underapproximations in static analysis * Rajeev Alur: Computer augmented program engineering * Ahmed Bouajjani: Abstract domains for automated reasoning about list-manipulating programs with infinite data * Tobias Nipkow: Teaching semantics with a proof assistant: teach proofs, not logic! Invited Tutorial: * Ranjit Jhala: Software verification with liquid types Contributed papers: The VMCAI 2012 program encompasses 26 regular papers. http://lara.epfl.ch/vmcai2012/program.html Best regards, Viktor Kuncak and Andrey Rybalchenko, co-chairs.