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 ESMTPS id 552632DF5 for ; Mon, 19 Mar 2018 14:47:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,330,1517871600"; d="scan'208";a="318829550" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Mar 2018 15:47:20 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D26FC82418; Mon, 19 Mar 2018 15:47:20 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D737182417 for ; Mon, 19 Mar 2018 15:31:29 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-vk0-f98.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AHoSseBLJjpb6xwq6fdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRK/nxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhj?= =?us-ascii?q?oZOTA+82/ZhMx+gblHrB69uxBz35TZbJ2JOPd4Y6jTfckaRW1EXstJWCxOHIS8?= =?us-ascii?q?b4UBD+caIelYtJPxp14PrRSkAAmsBfnjxSFViX/r26AxzuovEQbD3AM6HtIOtm?= =?us-ascii?q?zZo8nvO6cMTe+1y6/IzTvdYPNMxzj97pTHfQ47rfGLR7JwfszcwlQsGQPdllic?= =?us-ascii?q?t5DpMjeP2ukOs2WX9fRsWf+hhmI9rwx8oSCjytooh4XXnI4YxE3I+T96zYsxP9?= =?us-ascii?q?G0VVB3bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIa+fCcQyZQnwwfTa+KEc4SU?= =?us-ascii?q?+x7jWuKcLDRiiHJqf7K/gBmy8Uy+xeHmSsa011NKojJEktnKqH8NywTe5tabRv?= =?us-ascii?q?Z55Eus2jaC2xrN5u1ZL004j67WJp05zr41jJUTsEDDHiHsmEXxia+bbkok9fav?= =?us-ascii?q?6+TpbLXrvYOTN5RuhgH7M6QhgMm/AeUiPgcQQmeb5Pyw1Kf/8k3hXLVKkvo2n7?= =?us-ascii?q?HFv5/AIMQbore1AwtU0oY49xayFCym0dQdnXkfNl1JYhOHj47zO1HPOv/0F/m/?= =?us-ascii?q?g07/2AtskqTNN7jlR5HMNWTrkbH7fL875VQKmyQpytUK6J9TBL8pK+m1X074sd?= =?us-ascii?q?2eAxMkYF/8+PruFNgojtBWYmmIGKLMaPqD42/N3fomJqy3XKFQvT/8L/Y/4Pu3?= =?us-ascii?q?0S0yghkYfKCs3N0aZG3qR606cXXcWmLlh5I6KUlPphA3FbC4g0bEVD9aYnf0Uq?= =?us-ascii?q?4htGliVdCWSLzbT4Xou4SvmSe2GpoMOzJDA1GIVGnrL8CKCqdKZyWVLcts1DcD?= =?us-ascii?q?UOr5Rg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BQAAAuya9ah2LVVdFdHAEBAQQBAQoBA?= =?us-ascii?q?YQ2gRqNeHKNCIMZlACBNANbAQoliC0ZBwEEMBgBAgEBAQEBAQEBARIBAQEKCwk?= =?us-ascii?q?IKC+COCKCbyMBATIGOzQdCAEFASKFKw+dHDyKGoMUgwEBAQWBZ4J/Bx1FggYIC?= =?us-ascii?q?QEIhSE6gVuGGoUOc4JsgjGYOQmGB4kbghuFfYUkhQCEMIZ2DyGBCR6CCnKDEAm?= =?us-ascii?q?CGh6OKR1YAY1JgkkBAQE?= X-IPAS-Result: =?us-ascii?q?A0BQAAAuya9ah2LVVdFdHAEBAQQBAQoBAYQ2gRqNeHKNCIM?= =?us-ascii?q?ZlACBNANbAQoliC0ZBwEEMBgBAgEBAQEBAQEBARIBAQEKCwkIKC+COCKCbyMBA?= =?us-ascii?q?TIGOzQdCAEFASKFKw+dHDyKGoMUgwEBAQWBZ4J/Bx1FggYICQEIhSE6gVuGGoU?= =?us-ascii?q?Oc4JsgjGYOQmGB4kbghuFfYUkhQCEMIZ2DyGBCR6CCnKDEAmCGh6OKR1YAY1Jg?= =?us-ascii?q?kkBAQE?= X-IronPort-AV: E=Sophos;i="5.48,330,1517871600"; d="scan'208";a="318823505" Received: from mail-vk0-f98.google.com ([209.85.213.98]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Mar 2018 15:31:28 +0100 Received: by mail-vk0-f98.google.com with SMTP id z190so10444120vkg.1 for ; Mon, 19 Mar 2018 07:31:29 -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=DOHPRlaQe499K2JCLmJPHeG6sPnrNrbjAW0B/PX6Pe8=; b=dONuiVKvrVR+k0zILwh50eRaYrde/4O/UZrq0gsIYJ5f7iXuxvDpdKROdBFKsB0xPA KoHaIElYuH+54moncdopzRtyKKD6KEKESRbfoanKXp1JLZzG87yzXVUbvxSaxhXsTGpD saDrSLY7Mtb2brjmClRQKvYRom0p+Fbnzm0ozmE32NlS7CLR449/c//VwfnU3P6bv4VL ShxKkYgBgkwlBK2Dt9m+Z/UzQUhXTkoPyjc3sBqx0XCISwtAmpYyvRezVPX79P3d14tp YhbSo4aAxy99XcKJrWJuD566GntDdTmFT+P04LljnOKgrcBIMyG2ehTmk0TFfg2U6PhO 0hOA== 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=DOHPRlaQe499K2JCLmJPHeG6sPnrNrbjAW0B/PX6Pe8=; b=P/1MmuDvIlGq6HbxH9gHCXH5i3XYFG5XH/eoKSOQBPJMwEhrNuNQ/xhQiOeZ8WSE5W QDGif3qKB+4HyLsaA/SuIhBt/+s/X5DI2OY83sAto6v7QUGZYX/wao8b//gZ3oMUm8wm YUXu6m37MZZ1vwIal1GRVJ3iMjBmwSqvNfKVpgYyrnlhk40e8xSZ7Sfps+MylEmFGNoH wYQc5VqFMRYTdqT8PL1fzulFwA/0k+9DN9dGZ+FLkWq5Y0hdodU++qVgwAraKMIL7vnl amdEDnOs9I7qSpEUrLz7WMR1QfCIVKvcvUsz5u612u0ev+4PGUyXaakPdO85gP1dQLvR IMKw== X-Gm-Message-State: AElRT7EJhkznzEe1BC68xGhG6IJiZBIg9S8t2za23Job+gBnPmHTbrsu 8la18lvoBc0cmWxH+qceWL8ev//plo+fq9z30aURbhk123nAxQ== X-Google-Smtp-Source: AG47ELurBc/fIa7UnKMM0wEmwjcY/3zfakUx9L6YND3Q4cut11S09AA4K/vnQTEZ3qsTuReSrdppQU7c2awi X-Received: by 10.31.169.216 with SMTP id s207mr4889829vke.15.1521469888112; Mon, 19 Mar 2018 07:31:28 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id i14sm5217uae.5.2018.03.19.07.31.27 for ; Mon, 19 Mar 2018 07:31:28 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 849DC1700E82; Mon, 19 Mar 2018 10:12:44 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180319141244.849DC1700E82@cs.miami.edu> Date: Mon, 19 Mar 2018 10:12:44 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Verification and Deduction Mentoring Workshop 2018 Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 16736 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 and Deduction Mentoring Workshop 2018, FLoC 2018, July 13, 2018 CALL FOR PARTICIPATION ***Overview*** The purpose of the Verification and Deduction 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 and deduction. The workshop will particularly encourage participation of women and underrepresented minorities. This mentoring workshop unites the 4th Verification Mentoring Workshop and the 1st Deduction Mentoring Workshop, and is affiliated both with CAV 2018 and IJCAR 2018. The workshop program will include a number of invited talks and interactive sessions. The invited talks will give an overview of the field, highlight career challenges and give advices on career planning. The invited talks will focus both on academia and industry. ***Application and Participation*** Graduate and undergraduate (seniors only) students interested in attending our workshop are requested to apply at: http://cavconference.org/2018/verification-deduction-mentoring-workshop/ We have limited funding available to support students attending the mentoring workshop and CAV/IJCAR 2018. ***Deadline for submission of applications*** April 13, 2018 -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs