From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 DAA688240C for ; Tue, 17 Apr 2018 15:09:16 +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-ua0-f228.google.com 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=209.85.217.228; 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 209.85.217.228 as permitted sender) identity=mailfrom; client-ip=209.85.217.228; 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@mail-ua0-f228.google.com) identity=helo; client-ip=209.85.217.228; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mail-ua0-f228.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxTK3mxXIcp78eZEWjxgT1PNeFUvV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYhKOt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJ+i6FVrhyhqRFk34LYfJ2ZOOZkc6/BYd8XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d4QPAPQGPeZWoYnwvEcBrQCkCQmpBePg0DpIhn7s0aIkzushDAfL1xEjEdIWqH?= =?us-ascii?q?nYssn5OaMIXe22zKTE1yvPY+5U1Dvn9oTEbBMsremRUb90b8bd00ciGx7fgliT?= =?us-ascii?q?rYHpJS6Z2voLvmOG9eRvT/ivhHQiqwxpojig2MMsio7Ri4IQ0F/E9CF5zJ8oJd?= =?us-ascii?q?KiVEJ3eNCkHIVOuyyZLYd2TcQiQ2ZnuCY+1LIKo4K0fC8PyJg/xh7fbeKIc5SQ?= =?us-ascii?q?7x79SOqcJS10iXFldb6lmRq+7EqtxvfiWsWq01tGti9FncPNtnAJ2RzT8M+HSv?= =?us-ascii?q?5l80euxzmP0A7T6u9fLE8ojqrXMZshwr8qmZoWsETPBDH5l1jrjKOObEUr5vCo?= =?us-ascii?q?6/j7YrXhvpKTK5V7igT6Mqg3nsy/AP84MhQVUmiA+eW80aXj8lfjTLVLiP02iK?= =?us-ascii?q?jZv4rAKcQVvK7qSzNSh9Io4hO7SjOny8gwnH8dLVsDdgjR3KbzPFSbL/3/A/mX?= =?us-ascii?q?iE/qlTZiwvGAM7H8UcaFFWTKjLq0JeU10EVb0gdmlYkOtaIRMakIJbfIYmG0sd?= =?us-ascii?q?XZChEjNAntn7TsE5N414obWCSCDrLLafqO42/N3fomJqy3XKFQoCz0cqR37OWo?= =?us-ascii?q?iH4wnF5bcKW0j8NONSKIW89+KkDcWkLCx9cMFWBQ4Fg7Re3uzUCLCXtdPSziGa?= =?us-ascii?q?074T4/BcStCoKRHo0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9AACb8dVah+TZVdFdhXaMSIw2gwOUC?= =?us-ascii?q?gNTAQqHQxkHAQQ0FAECAQEBAQEBAQEBEwEBAQgNCQgoIwyCNSKCbyMBAR8HEjs?= =?us-ascii?q?0HQgBBQEiCgmFDZpqPIoYgwmCbgEBBYFjgwAHHUSCHQgJAQiHdIITgQ+CWwKBb?= =?us-ascii?q?4N+gmSCJIwGi2QIjjCBP4NdgimFE5AUDyGBBDNIgStygxGCLAKDTopuUwGObAE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0D9AACb8dVah+TZVdFdhXaMSIw2gwOUCgNTAQqHQxkHAQQ?= =?us-ascii?q?0FAECAQEBAQEBAQEBEwEBAQgNCQgoIwyCNSKCbyMBAR8HEjs0HQgBBQEiCgmFD?= =?us-ascii?q?ZpqPIoYgwmCbgEBBYFjgwAHHUSCHQgJAQiHdIITgQ+CWwKBb4N+gmSCJIwGi2Q?= =?us-ascii?q?IjjCBP4NdgimFE5AUDyGBBDNIgStygxGCLAKDTopuUwGObAEB?= X-IronPort-AV: E=Sophos;i="5.48,463,1517871600"; d="scan'208";a="262346583" Received: from mail-ua0-f228.google.com ([209.85.217.228]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Apr 2018 15:09:14 +0200 Received: by mail-ua0-f228.google.com with SMTP id d3so12124482uae.4 for ; Tue, 17 Apr 2018 06:09:14 -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=lNzAzkcvd1NtCLXkeYvxqSFSWqwcKrU88XHY0ynNcvQ=; b=oUK1sRFvbBSwFu2STvEErNOAQ4JsoG9t5Rj5PYXec7x45VMDClDWqthHX1ru+2Jrdr Vj6rUZGVbdq9+jSym7JLn1CN0dLLGpjII3WTsgYYZen5VWYo1hHQscbDjKtXrqUURrJ0 6Tt0zoaatjtT2u9VfN2DaisKQW0ntmLHGDVGgmG78g+8u8VdITNlW2LOjhezJpfENb05 ruvjaRDbECpLXbo5NgIMg1bLkSGAy3v4qXfzMk7Ia05x2w7vkjNkdICx3Dxqs7ZJ0eXd KG1IBbuqoU8aRsVGvrOQroPcQIo6uVwVxs3/Zl92nPw89THotrVqqOLuW80psYF1d3P8 Fs6g== 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=lNzAzkcvd1NtCLXkeYvxqSFSWqwcKrU88XHY0ynNcvQ=; b=dSNRdfw4Ha6q+sOf50P+MtzaUakPWISEH6Hko5lOg75oL0SLNfY/r8u/cWgUN2vCV4 bav4if593m7kegkH6C5c/hZYIbV4C4pvJaSwPv02JcXKi11MRVBacJ+qXU5UxsxDURWV EGh24DOGzlV1xoE4FXrIId9UbkXvB5KbQ7rRa44KMGaDwLRLVF9M7YLhz5V6/7qIXZJ5 AKBhVZ0vHoQjp2fR/khIl1gewwefacTAgusdl3hUXt02bjp4TWco39dbviDifxqRXyAB gAoYwTejFQ19tVCMYoAK3Tg2G5wxdMxSXeX7FGwCRfT0k7sHKdLIBRBx0XdCGOE0nsGx PISA== X-Gm-Message-State: ALQs6tBkbsarHKGkFs7uESe8tkc7u9TKMqW66ZvbewFNYcsAVOnIff3i feP+2tjBiojIjrp/thEp9nRDCpgGJNEMgv6NmbBr2ZgHqSKmvQ== X-Google-Smtp-Source: AIpwx4/P97/Otf36wTe60ans9G3Tc3Q7htvWdlh/39/6PoUHGKz6syDVP5wjiFsYSky2ENRv/eaUn8jp3i5n X-Received: by 10.176.87.193 with SMTP id u1mr1372586uac.1.1523970553297; Tue, 17 Apr 2018 06:09:13 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id w126sm75137vkf.1.2018.04.17.06.09.12 for ; Tue, 17 Apr 2018 06:09:13 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 53FDA1700E11; Tue, 17 Apr 2018 09:09:05 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180417130905.53FDA1700E11@cs.miami.edu> Date: Tue, 17 Apr 2018 09:09:05 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications Woody Bledsoe Student Travel Awards at IJCAR 2018 Call for Applications The Woody Bledsoe Student Travel Award was created to honour the memory of Woody Bledsoe, for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR), whichever is scheduled for the year, by covering part of their expenses. The winners of the IJCAR 2018 Woody Bledsoe Student Travel Award will be partially reimbursed (up to value of 900 EUR, depending on needs and available funds) for their conference registration, transportation, and accommodation expenses. A nomination consists of a recommendation letter of up to 300 words from the student's adviser. Nominations for IJCAR 2018 should be sent by e-mail to the Program Committee Chairs (Didier Galmiche, Stephan Schulz and Roberto Sebastiani) at ijcar2018@easychair.org. Please include "Woody Bledsoe 2018 Application" in your subject line. The nomination letter should contain: - name of the student, - whether the student is an author of a paper accepted to IJCAR or submitted to an IJCAR workshop, or contributor to a system in the CASC competition - an explanation of the potential benefit of the IJCAR attendance to the student - a statement regarding the dependence of the student on the award for attendance, including any special circumstances Nominations must arrive no later than May 18, 2018. The winners will be notified by June 1st, 2018. Note that FLoC/IJCAR early registration ends on June 6th. The awards will be presented at IJCAR 2018; in case a winner does not attend, the chairs may transfer the award to another nominee or give no award. The awards are sponsored by CADE Inc.