From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9073 Path: news.gmane.org!.POSTED!not-for-mail From: Satnam Singh Newsgroups: gmane.comp.science.types.announce,gmane.comp.lang.agda,gmane.science.mathematics.categories,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.erlang.general,gmane.comp.lang.haskell.generics,gmane.comp.lang.haskell.general,gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.advertisments,gmane.science.mathematics.petri-nets Subject: ACM SIGPLAN Awards deadline extended to 30 January Date: Tue, 10 Jan 2017 08:30:26 -0800 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1155459757120830033==" X-Trace: blaine.gmane.org 1484086015 23473 195.159.176.226 (10 Jan 2017 22:06:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 10 Jan 2017 22:06:55 +0000 (UTC) To: acm-fse-IAPFreCvJWOPGO37gQtJtnIPMjoJpjVV@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org, announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org, appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org, bforum-yMt7r7HE3AJQFI55V6+gNQ@public.gmane.org, bx-Qi18u8YmrAKvFDDnWblwX2ZOUnm2niI1rkWXYQkQZemELgA04lAiVw@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, church-announce-8Z3MpGPOYPw3uPMLIKxrzw@public.gmane.org, clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org, concurrency-rh8NL+sEX9E@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, erlang-questions-Zmtset3pe6Qdnm+yROfE0A@public.gmane.org, event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX@public.gmane.org, events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, fm-announcements-cwGa0Mn2PPIb0b0yYlRVAg@public.gmane.org, fmnet-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, fg-arc-FfzAktRlpg5lCZ00bGekxt7m1AW04n4n@public.gmane.org, fp-lunch-qIFWa415ktg2EctHIo1CcQ@public.gmane.org, fp-nl-CnXeQJCHohM@public.gmane.org, fun-qIFWa415ktg2EctHIo1CcQ@public.gmane.org, functional-programming-OmrnMug0GwJeXsq7+8kxVA@public.gmane.org, generics-HC+Z4NTRIlBAfugRpC6u6w@public.gmane.org, haskell-HC+Z4NTRIlBAfugRpC6u6w@public.gmane.org, ipalist-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, kgs-HovvXaEGyOEhHGrKhHam0bNldLUNz+W/@public.gmane.org, lprolog-k0Ej6N9cQa43uPMLIKxrzw@public.gmane.org, mercury-ads-c9WZLSY+vba6c6uEtOJ/EA@public.gmane.org, nvti-list-rh8NL+sEX9E@public.gmane.org, Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Tue Jan 10 23:06:47 2017 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cR4Yw-0004Zj-Lv; Tue, 10 Jan 2017 23:06:38 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id v0AM0wVt026863; Tue, 10 Jan 2017 17:01:15 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from apathy.seas.upenn.edu (apathy.seas.upenn.edu [158.130.68.99]) by RHIZOME.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id v0AGUblE019353 for ; Tue, 10 Jan 2017 11:30:37 -0500 Original-Received: from mail-vk0-f66.google.com (mail-vk0-f66.google.com [209.85.213.66]) by apathy.seas.upenn.edu (8.14.9/8.14.3) with ESMTP id v0AGUWjT031163 for ; Tue, 10 Jan 2017 11:30:37 -0500 Original-Received: by mail-vk0-f66.google.com with SMTP id 23so3031551vkc.2 for ; Tue, 10 Jan 2017 08:30:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=mKmFf2xNecTABt0DxJS3hZO8OOpOSLev+lBFVcg1Qkk=; b=QXZ93ogNNtn84NE8aPojYcp0twYmV/ubve4c0jCgBkUc64FFmKZoCzGljAjh9P8Hkj seBbWGXEubkKSEK/kn7lU5ABoorR1mmUlyuj7PmOGbnN3u6oDaF6+dg/v0f4GRbOVj1Z SthUGYAYVAdFyXMvIAMXErEQR8boF6w5JjDfMxxlI2NlLSaLFQSbzXT/psvCoVE/FDOM s8ntHvUfla8g76zz3bQB+FYwXzV2gIU+ZFF79QQUrNypUiYWnSqgxInByqFxEhSLujjd g3x6VGsS99vc/JCHydB8edAryuHfcr+IZBF8W6vfF5nYMO5obInGLUPh7VYiTuJNIpKf wg0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=mKmFf2xNecTABt0DxJS3hZO8OOpOSLev+lBFVcg1Qkk=; b=bWER6kCzOpj66Ac425O8Zyi1UFGrVS7fHLLeSE40Rm3y7BaNVABzkat67KqozcmFk+ bBrcFGElXkWWxNUUan5v54vvGBtdU5EeWBcPMgqjovvSk9MMFBI2hzg5jipAXfaJb/wF eP8x7ujFHUYiiU0uyAOrHVl8Q2KymGTZYtnMIXW/tbymO808icxgW2cfkysqCkewA+Kf /lEr3T3jy+xxlWGnCE3bzhgJ4pTJ9ljYhnX+EkSUz/caDsQEOjzobc/XzNBpin5KT/Vr DIZcupTUQVL1IiR6pJbQYC2pq5stjhimfszrzUEgOMCdo47mUQBRTh+74YKKM2B6miYn Kr0w== X-Gm-Message-State: AIkVDXImSZg96mbp0cpUcABsTvoxAFNmC7+07bXmv+94etWXVbn3tcVfcZX14M3IEhfEGVLlt2tbBG2Sr5SK1A== X-Received: by 10.31.14.206 with SMTP id 197mr1835927vko.38.1484065826733; Tue, 10 Jan 2017 08:30:26 -0800 (PST) Original-Received: by 10.103.136.135 with HTTP; Tue, 10 Jan 2017 08:30:26 -0800 (PST) X-Google-Sender-Auth: 8FyFS_lhZaQ0KGVuVjt8w5AA5fQ X-Proofpoint-Virus-Version: vendor=nai engine=5600 definitions=5800 signatures=585085 X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 suspectscore=2 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1410280000 definitions=main-1701100233 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Tue, 10 Jan 2017 17:00:55 -0500 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:6462 gmane.comp.lang.agda:9071 gmane.science.mathematics.categories:9073 gmane.comp.science.concurrency:4811 gmane.science.mathematics.logic.coq.club:18749 gmane.comp.lang.erlang.general:85992 gmane.comp.lang.haskell.generics:202 gmane.comp.lang.haskell.general:21205 gmane.comp.lang.lambda-prolog:3362 gmane.comp.lang.mercury.advertisments:298 gmane.science.mathematics.petri-nets:5082 Archived-At: --===============1155459757120830033== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============1155459757120830033== Content-Type: multipart/alternative; boundary=001a11457f286d06370545c000c8 --001a11457f286d06370545c000c8 Content-Type: text/plain; charset=UTF-8 The deadline for submitting nominations for the following awards has been extended to 30 January: - Programming Languages Software Award (last year's winner V8) - Programming Languages Achievement Award (last year's winner Simon Peyton-Jones) - Robin Milner Young Researcher Award (last year's winner Stephanie Weirich) Descriptions of these awards and the link for submitting nominations can be found at http://www.sigplan.org/Awards/ (note that the deadline for the John C. Reynolds dissertation award is not extended). Please can you consider submitting nominations and also publicizing these awards to other colleagues and appropriate groups. Thank you kindly. Please don't hesitate to contact me if you have any questions about the awards. Satnam Singh ACM SIGPLAN EC Awards Chair Satnam Singh Email: s.singh-HInyCGIudOg@public.gmane.org satnamsingh-b10kYP2dOMg@public.gmane.org satnam-JUyoAD0QuVFg9hUCZPvPmw@public.gmane.org satnam6502-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Cell (USA, personal): +1 408 656 4590 Cell (Facebook, work): +1 650 924 6838 Home (Los Altos, California): +1 650 383 7650 Twitter: @satnam6502 LinkedIn: www.linkedin.com/in/satnam6502 - --001a11457f286d06370545c000c8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
The deadline for submitting nominations for the following = awards has been extended to 30 January:
Descriptions of these a= wards and the link for submitting nominations can be found at=C2=A0http://www.sigplan.org/Awards/ (not= e that the deadline for the John C. Reynolds dissertation award is not exte= nded).

Please can you consider submitting no= minations and also publicizing these awards to other colleagues and appropr= iate groups. Thank you kindly. Please don't hesitate to contact me if y= ou have any questions about the awards.

Satnam Sin= gh
ACM SIGPLAN EC Awards Chair

Satnam Singh
Email: s.singh-HInyCGIudOg@public.gmane.org satnamsingh-b10kYP2dOMg@public.gmane.org=C2=A0satnam-JUyoAD0QuVFg9hUCZPvPmw@public.gmane.org=C2=A0satnam6502-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org
Cell (USA, personal):=C2=A0<= span title=3D"Call with Google Voice">+1 408 656 4590=
Cell (Faceb= ook, work):=C2=A0+1 650 924 6838
= Home (Los Altos, California):=C2=A0= +1 650 383 7650
= Twitter: @satnam6502
LinkedIn: www.linkedin.com/in/satnam6502

--001a11457f286d06370545c000c8-- --===============1155459757120830033==--