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 q3N93a0a011728 for ; Mon, 23 Apr 2012 11:03:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncBAFIalU+B1w3NkWdsb2JhbABEsUQiAQEBAQkLCwcUBSKCCyIdLjyBJogPC5hgl3OJCYpyhV5jBKkigVMI X-IronPort-AV: E=Sophos;i="4.75,465,1330902000"; d="scan'208";a="141158950" Received: from nougat.ucs.ed.ac.uk ([129.215.13.205]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2012 11:03:34 +0200 Received: from beeknow.inf.ed.ac.uk (beeknow.inf.ed.ac.uk [129.215.33.12]) by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id q3N93XW9017411 for ; Mon, 23 Apr 2012 10:03:33 +0100 (BST) Received: from dhcp-91-118.inf.ed.ac.uk (dhcp-91-118.inf.ed.ac.uk [129.215.91.118]) (authenticated bits=0) by beeknow.inf.ed.ac.uk (8.14.4/8.14.4) with ESMTP id q3N92p6w030014 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Mon, 23 Apr 2012 10:03:33 +0100 From: Gudmund Grov Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Mon, 23 Apr 2012 10:03:36 +0100 Message-Id: <206C43A6-29D8-4A98-8FCB-9BC5C13FED27@staffmail.ed.ac.uk> To: caml-list@inria.fr Mime-Version: 1.0 X-Mailer: Apple Mail (2.1257) X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus Content-Disposition: inline X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205 Subject: [Caml-list] WING 2012: Call for Presentations [Please post - apologies for multiple copies.] ---------------------------------------------------- WING 2012 - 4th International Workshop on INvariant Generation http://cs.nyu.edu/acsys/wing2012/ June 30, 2012 Manchester, UK (a satellite Workshop of IJCAR 2012) ---------------------------------------------------- --- Call for Presentations --- General ------- The ability to automatically extract and synthesize auxiliary properties of programs has had a profound effect on program analysis, testing, and verification over the last several decades. A key impediment for program verification is the overhead associated with providing, debugging, and verifying auxiliary invariant annotations. This workshop aims to bring together researchers from the diverse field of invariant generation to discuss recent developments. Scope ----- We encourage ONE-PAGE ABSTRACT submissions on work in progress, new ideas, tools under development, as well as work by PhD students, to be presented at WING 2012. Relevant topics include (but are not limited to) the following: * Program analysis and verification * Inductive Assertion Generation * Inductive Proofs for Reasoning about Loops * Applications to Assertion Generation using the following tools: - Abstract Interpretation, - Static Analysis, - Model Checking, - Theorem Proving, - Theory Formation, - Algebraic Techniques * Tools for inductive assertion generation and verification * Alternative techniques for reasoning about loops Submission ---------- Submissions need not be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after WING 2012 to another workshop, conference or a journal. Submission is by email to: wing2012@easychair.org Please submit a ONE-PAGE abstract in PDF. Important Dates --------------- Submission deadline: May 15, 2012 Notification of acceptance: May 18, 2012 Workshop: June 30, 2012 Invited Speakers ---------------- * Aditya Nori (Microsoft Research) Committee ----------------- Program Chairs: * Gudmund Grov (University of Edinburgh, UK) * Thomas Wies (New York University, USA) Program Committee: * Clark Barrett (New York University, USA) * Nikolaj Bjorner (Microsoft Research, USA) * Gudmund Grov (University of Edinburgh, UK) * Ashutosh Gupta (IST Austria) * Bart Jacobs (Katholieke Universiteit Leuven, Belgium) * Moa Johansson (Chalmers University of Technology, Sweden) * Laura Kovacs (Vienna University of Technology, Austria) * David Monniaux (VERIMAG, France) * Enric Rodriguez Carbonell (Technical University of Catalonia, Spain) * Helmut Veith (Vienna University of Technology, Austria) * Thomas Wies (New York University, USA) Student Support ---------------- Students will pay a reduced fee, and the difference will be reimbursed after the workshop. Publication ----------- Extended versions of accepted contributions may be submitted later to a special issue of the Journal of Science of Computer Programming. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.