From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0B5997EE78 for ; Wed, 13 Apr 2016 21:10:04 +0200 (CEST) IronPort-PHdr: 9a23:r8rCEBaTh5ywq76nI5hSbkb/LSx+4OfEezUN459isYplN5qZpci6bnLW6fgltlLVR4KTs6sC0LqG9f27EjVaud6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDivcCIKFwS3HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrVdCHEiMnspzMztrxjKCwWVtVUGVWBDnRdPDQbt5wq8W5b4tyq8u+ZgkGm1MMr4Q/gPRCip66ZlRhKp23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D2BAAzmA5X/wZZH8BehAqONpxgAZA/gXEegkCFLxIBAQEBAQEBAWQngi2COCEqDEEwBB2IbaEHnTKFCYo8gw6CLYJfgisFl0REhXeIDI8ajycnAziEAyCKKgEBAQ X-IPAS-Result: A0D2BAAzmA5X/wZZH8BehAqONpxgAZA/gXEegkCFLxIBAQEBAQEBAWQngi2COCEqDEEwBB2IbaEHnTKFCYo8gw6CLYJfgisFl0REhXeIDI8ajycnAziEAyCKKgEBAQ X-IronPort-AV: E=Sophos;i="5.24,480,1454972400"; d="scan'208";a="174165423" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 13 Apr 2016 21:10:03 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 096AF1214D7; Wed, 13 Apr 2016 15:10:01 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20160413191002.096AF1214D7@mcclellan.cs.miami.edu> Date: Wed, 13 Apr 2016 15:10:01 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Verification Mentoring Workshop - Travel Scholarships Call for Applications for VMW (Verification Mentoring Workshop) 2016 Verification Mentoring Workshop 2016 Call for Applications for Student Travel Scholarships We are organizing the second Verification Mentoring Workshop (VMW) 2016. It is co-located with the International Conference on Computer Aided Verification (CAV), to be held in Toronto, July 17-23, 2016. CAV is a premier conference in the area of verification, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The goal of VMW is to attract early-stage graduate students to pursue research careers in the area of computer-aided verification and formal methods. Invited talks at the workshop will cover a broad overview of research topics in the area, the range of career options and perspectives (academia, industry, research labs, etc.), and insights into reviewing processes (for papers, grants, and job applications). We will provide travel scholarships to student participants (graduates, and rising senior undergraduates), where the scholarships will cover registration for VMW and CAV, accommodations, plus travel expenses. Participation of women and under-represented minorities is especially encouraged. The VMW workshop website http://i-cav.org/2016/vmw is now accepting applications. Important Dates: + Deadline for submission of applications: Extended to April 20, 2016 + Notification of travel scholarships awarded: May 1, 2016 + VMW Workshop: July 18, 2016 VMW 2016 is partially supported by Microsoft Research and the NSF (National Science Foundation, USA). More details on the VMW workshop and CAV conference can be found at http://i/~cav.org/2016/ Organizers of VMW 2016: + Aarti Gupta, Princeton, USA + Ruzica Piskac, Yale, USA + Andrey Rybalchenko (Chair), Microsoft Research, UK