From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 11D915D4 for ; Fri, 26 Apr 2019 14:00:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380438446" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2019 16:00:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 86DF98269F; Fri, 26 Apr 2019 16:00:11 +0200 (CEST) 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 256918249D for ; Fri, 26 Apr 2019 15:49:45 +0200 (CEST) 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@mail-yb1-f228.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A34VBvxO0duq4KvKbpkkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf//rarrMEGX3/hxlliBBdydt6sdzbeI+P6xEUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oLBi7rArdu8gSjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgz?= =?us-ascii?q?oFOTEk6mHaktF+grxcrhyiqRJxw5XZbJ2JOPZiYq/QZ88WSXZHU81MVyJBGIS8?= =?us-ascii?q?b44XAuoOI+lYqIf9p1UVoBSiHgmgHubvyj5SiX/z3K02yfouHhzb3AEmAtkAvn?= =?us-ascii?q?PUrNDvO6cTV+C41KfIzTLZb/NTwjfx8ofIchQ/rv2UXLJ8aNbexlMxFw/fiVWQ?= =?us-ascii?q?s4PlMjWI3eoOq2iW9/RsWf6rhmI9qAx8oiKjytkxhoTNnI4Z1E7I+CZhzIooId?= =?us-ascii?q?C0VlR3bNC5HJdKtCyXM5F6Tt48T2xupS000KcJuYShcygP0JknxwDQa/iAc4WQ?= =?us-ascii?q?5xLsTueRITNhiHNlY72zmg++8Ua+xuHiVcS4yllKri1CktnDsnACyQbf5dSASv?= =?us-ascii?q?t45kuh2DCP2B7P6uxcP0w4ia7WJ4Qiz7MwjJYfr1nPEyvslEnokqObdV0o+u2y?= =?us-ascii?q?5OTmZrXmqIWcN4hxigzmPaQhhMu/Aeo2MgUVQ2eb4v6w1Lji/ULjRbVKj+c6nb?= =?us-ascii?q?fEv5DHPcgbvLK2AxdJ0oY/7BayFyup384dnXkDNV5FfBOHj5P1O1zVO/D5DfK/?= =?us-ascii?q?g0y2nztxxvDGOKfhApTXIXTZnrfhZ+U110kJnAE6yNQa45NPFpkAJujyUwn/ro?= =?us-ascii?q?qLIAU+Nlm7zuHpBv12zcUbWGuKA+mUPL6B4hez+uszLrzUN8cuszHnJq19vqK8?= =?us-ascii?q?vToCgVYYOJKR894PcnnhQqZtOAOcYHPpg5EMHXpY5lNjHtyvs0WLVHtoX1j3X6?= =?us-ascii?q?844WtlWoevDIOGV4r0xbLbhnf9EZpRaWRLTFuLFCWwLtTWa7I3cCuXZ/RZvHkB?= =?us-ascii?q?XLmlRZUm0Ejy5gThjb9mJ+/VvCAUqMC62Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2AgBOC8Nch+TbVdFmHQEBBQEHBQGBZ?= =?us-ascii?q?YJ5UlqNCooIGooUgTSQNQNUAQ8fhRwBBIVhGwcBBDQTAQMBAQQBAQIBAQEBEwE?= =?us-ascii?q?BAQgNCQgpIwyCKBIigxIjAQEyBjs0EgsIAQUBIhODIgGBaQMcD6JjPIosgiCCe?= =?us-ascii?q?QEBBYEyAYEVgjcNTAcggSYJCQEIgSCGdYIQPIFjJheBf4NzboIaPII7gm6CJpg?= =?us-ascii?q?fjhU4CYgaiFODPyeCC4YugzCJM4kqiFFLgUiMVA8hgUWBd3KDOgmBDngag1WBa?= =?us-ascii?q?4MpgkGCfR0jMwGUfQEB?= X-IPAS-Result: =?us-ascii?q?A0A2AgBOC8Nch+TbVdFmHQEBBQEHBQGBZYJ5UlqNCooIGoo?= =?us-ascii?q?UgTSQNQNUAQ8fhRwBBIVhGwcBBDQTAQMBAQQBAQIBAQEBEwEBAQgNCQgpIwyCK?= =?us-ascii?q?BIigxIjAQEyBjs0EgsIAQUBIhODIgGBaQMcD6JjPIosgiCCeQEBBYEyAYEVgjc?= =?us-ascii?q?NTAcggSYJCQEIgSCGdYIQPIFjJheBf4NzboIaPII7gm6CJpgfjhU4CYgaiFODP?= =?us-ascii?q?yeCC4YugzCJM4kqiFFLgUiMVA8hgUWBd3KDOgmBDngag1WBa4MpgkGCfR0jMwG?= =?us-ascii?q?UfQEB?= X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="304100509" X-MGA-submission: =?us-ascii?q?MDHWxPWRcQgadJH3BnBV5JZ4dXz/cY1YV2RKuV?= =?us-ascii?q?wXc1aW+dyJbc/+k45RjloGgMg7IDTJs6iuN649AMktCIO0kfa8rkOfwb?= =?us-ascii?q?EfMdCVLqftd3+88//0Nojb7/Jkfj++57qpOS2QO2E8y1hn5uJJvpDD2n?= =?us-ascii?q?7ZqouB5cV+uCO/tqud4YTrQQ=3D=3D?= Received: from mail-yb1-f228.google.com ([209.85.219.228]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2019 15:49:44 +0200 Received: by mail-yb1-f228.google.com with SMTP id v2so1254146ybm.12 for ; Fri, 26 Apr 2019 06:49:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=bXPg1j91gIxw6Mh9oOSiEWHfPd3X3Rmeaqe6xzoz5Cs=; b=AZGniFnzi+3qcTpfK6GqP2z6SVCPoeaWOg0vWd8Y2MYT/Zf+dNkA/dFgmZB/sArrxj 8/4oS5Jd7EB2Rgx5d5dPwR2NVDwLCGi/T/UFgQS04oHSnl8sVSEI83Gv3Pm7Vt+25asJ /5Oz9BIHKA5x3obG8Qep0puUPHJqe8BWzjxg7+OV/NKUX/B6zzi2iU2VGo8Gn8pBMDUm whgBgVaGq9mUeMroeBplPwbVlEqHUBtWXhSaB441Oa9f/bLGWWmlOOeibwZsdj0/Bw/s lsoHWBxYmXg/Y3/+W0W+MK1kSn6fSzgatNrnhDf8AeKBu/mpnXPog4QU14I+N0sZdXtR F+mg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=bXPg1j91gIxw6Mh9oOSiEWHfPd3X3Rmeaqe6xzoz5Cs=; b=LGmAkZwaTnIaBw2E1FNLCmL5bT6ES3sbp5bm5j38ldsgqzSL28T6C6MvD3GKQCXWYA YUdqeSrzNPHS/516eLRwA3VCz0GOGeEsyglEyTt7Jtk48UwAvZQapLnLLua44FUX/bYG ZaHp43MgpaniAIBRxsQANKfotL1Vx5AHKd7fT9Ha9tRHtNaB4OtNRljf4xSSzU2D8LW/ xa21yT9haPdGmMzYGcesaCXEFhRjFNx/LOcKHxSXVwvfqmg176ySaNlFgsJcrDd32y7b FOUkkzzcIUdfxhKtA8BeKY/0JGZ7KhDajGyzX9wKWGmC0uWGAMUaBs/3E8+3lu6JwBzQ 8AWQ== X-Gm-Message-State: APjAAAVQu3+V70CgHQ/xm3piZD15b9VFbG4wgXypqR1xXAIC0/XHM0Rd K8OG/IX3iGQo/3frsK6WKhmKrYf6rvNkDakFhjl8pzpVQOtaGQ== X-Google-Smtp-Source: APXvYqz/NbKSydfkByAaXXMvSoYdu6o5xGLyb5/lpyYwGCT1LqnhY9b6yW/0mR1U/v3HlbJoj61C3VNY+y/z X-Received: by 2002:a25:581:: with SMTP id 123mr37606291ybf.29.1556286583179; Fri, 26 Apr 2019 06:49:43 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id j67sm2703440ywj.3.2019.04.26.06.49.42 for ; Fri, 26 Apr 2019 06:49:43 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id DF2821700AC5; Fri, 26 Apr 2019 09:42:15 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190426134215.DF2821700AC5@cs.miami.edu> Date: Fri, 26 Apr 2019 09:42:15 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Verification Mentoring Workshop 2019: Scholarships Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17512 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Verification Mentoring Workshop 2019: Call for scholarship applications Verification Mentoring Workshop (VMW 2019) http://i-cav.org/2019/mentoring/ co-located with CAV 2019 13 July 2019 New York City, USA APPLICATIONS FOR TRAVEL SCHOLARSHIPS We warmly invite eligible students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV. The deadline for applications is April 30. Applications are received via the form at https://forms.gle/6z6kUGPWqGoQ7cka6 ABOUT VMW The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage participation of women and underrepresented minorities. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at CAV 2019. Other talks will provide mentoring and career advice, from academia and industry. More information can be found at http://i-cav.org/2019/mentoring/ SPEAKERS Aws Albarghouthi, University of Wisconsin-Madison Azadeh Farzan, University of Toronto Vijay Ganesh, University of Waterloo Ranjit Jhala, University of California, San Diego Ruzica Piskac, Yale University Manu Sridharan, University of California, Riverside In case of questions, please contact the organizers Loris D'Antoni (chair) Rayna Dimitrova Cezara Dragoi Anthony W. Lin