ACM SIGPLAN Awards deadline extended to 30 January

Satnam Singh <[email protected]> Tue, 10 Jan 2017 08:30:26 -0800
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
Message-ID <CAMGvck04DAB69RpDHeduUKYhch46qWS5uYuXE9W5cS1y-XUFMA@mail.gmail.com>
--===============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
   <http://www.sigplan.org/Awards/Software/> (last year's winner V8)
   - Programming Languages Achievement Award
   <http://www.sigplan.org/Awards/Achievement/> (last year's winner Simon
   Peyton-Jones)
   - Robin Milner Young Researcher Award
   <http://www.sigplan.org/Awards/Milner/> (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: [email protected] [email protected] [email protected]
[email protected]
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

<div dir=3D"ltr">The deadline for submitting nominations for the following =
awards has been extended to 30 January:<div><ul><li><a href=3D"http://www.s=
igplan.org/Awards/Software/">Programming Languages Software Award</a>=C2=A0=
(last year&#39;s winner V8)</li><li><a href=3D"http://www.sigplan.org/Award=
s/Achievement/">Programming Languages Achievement Award</a>=C2=A0(last year=
&#39;s winner Simon Peyton-Jones)<br></li><li><a href=3D"http://www.sigplan=
.org/Awards/Milner/">Robin Milner Young Researcher Award</a>=C2=A0(last yea=
r&#39;s winner Stephanie Weirich)<br></li></ul><div>Descriptions of these a=
wards and the link for submitting nominations can be found at=C2=A0<a href=
=3D"http://www.sigplan.org/Awards/">http://www.sigplan.org/Awards/</a> (not=
e that the deadline for the John C. Reynolds dissertation award is not exte=
nded).</div></div><div><br></div><div>Please can you consider submitting no=
minations and also publicizing these awards to other colleagues and appropr=
iate groups. Thank you kindly. Please don&#39;t hesitate to contact me if y=
ou have any questions about the awards.</div><div><br></div><div>Satnam Sin=
gh</div><div>ACM SIGPLAN EC Awards Chair<br clear=3D"all"><div><div class=
=3D"gmail_signature"><div dir=3D"ltr"><div dir=3D"ltr"><div style=3D"font-s=
ize:12.8px"><font size=3D"1"><br>Satnam Singh</font></div><div style=3D"fon=
t-size:12.8px"><font size=3D"1">Email:<a href=3D"mailto:[email protected]" ta=
rget=3D"_blank"> [email protected]</a> <a href=3D"mailto:[email protected]" =
target=3D"_blank">[email protected]</a>=C2=A0<a href=3D"mailto:satnam@rain=
town.org" target=3D"_blank">[email protected]</a>=C2=A0<a href=3D"mailto:=
[email protected]" target=3D"_blank">[email protected]</a></font></di=
v><div style=3D"font-size:12.8px"><div style=3D"font-size:12.8px"><font siz=
e=3D"1">Cell (USA, personal):=C2=A0<span title=3D"Call with Google Voice"><=
span title=3D"Call with Google Voice"><span title=3D"Call with Google Voice=
"><span title=3D"Call with Google Voice"><span title=3D"Call with Google Vo=
ice"><span title=3D"Call with Google Voice"><span title=3D"Call with Google=
 Voice"><span title=3D"Call with Google Voice"><span title=3D"Call with Goo=
gle Voice"><span title=3D"Call with Google Voice"><span title=3D"Call with =
Google Voice"><span title=3D"Call with Google Voice">+1 408 656 4590</span>=
</span></span></span></span></span></span></span></span></span></span></spa=
n></font></div><div style=3D"font-size:12.8px"><font size=3D"1">Cell (Faceb=
ook, work):=C2=A0</font><span title=3D"Call with Google Voice"><font size=
=3D"1"><span title=3D"Call with Google Voice"><span title=3D"Call with Goog=
le Voice"><span title=3D"Call with Google Voice"><span title=3D"Call with G=
oogle Voice"><span title=3D"Call with Google Voice"><font color=3D"#262626"=
><span style=3D"line-height:16px">+1 650 924 6838</span></font><span style=
=3D"line-height:16px"><br></span></span></span></span></span></span></font>=
</span><font size=3D"1"><span style=3D"color:rgb(51,51,51);font-family:aria=
l,helvetica,sans-serif;white-space:nowrap"><span title=3D"Call with Google =
Voice"><span title=3D"Call with Google Voice"><span title=3D"Call with Goog=
le Voice"><span title=3D"Call with Google Voice"><span title=3D"Call with G=
oogle Voice"><span title=3D"Call with Google Voice"><span title=3D"Call wit=
h Google Voice"><span title=3D"Call with Google Voice"><span title=3D"Call =
with Google Voice">Home (Los Altos, California):=C2=A0</span></span></span>=
</span></span></span></span></span></span></span></font><font color=3D"#333=
333" face=3D"Arial, Helvetica, sans-serif" size=3D"1"><span style=3D"white-=
space:nowrap"><span title=3D"Call with Google Voice"><span title=3D"Call wi=
th Google Voice"><span title=3D"Call with Google Voice">+1 650 383 7650<br>=
Twitter: @satnam6502<br>LinkedIn: <a href=3D"http://www.linkedin.com/in/sat=
nam6502">www.linkedin.com/in/satnam6502</a></span></span></span></span></fo=
nt></div></div><div style=3D"font-size:12.8px"><ul style=3D"margin:0px;padd=
ing:0px 0px 8px;border:0px;outline:0px;font-size:12px;font-family:helvetica=
,arial,sans-serif;vertical-align:baseline;list-style:none;font-stretch:inhe=
rit;line-height:17px;display:table-cell;width:502px;color:rgb(51,51,51)"><l=
i style=3D"margin:0px;padding:8px 12px 2px 0px;border:0px;outline:0px;font-=
weight:inherit;font-style:inherit;font-size:11px;font-family:inherit;vertic=
al-align:baseline;font-variant:inherit;font-stretch:inherit;line-height:1.2=
em"><dl style=3D"margin:0px;padding:0px;border:0px;outline:0px;font-weight:=
inherit;font-style:inherit;font-family:inherit;vertical-align:baseline;font=
-variant:inherit;font-stretch:inherit;line-height:inherit;word-wrap:break-w=
ord"><br></dl></li></ul></div></div></div></div></div>
</div></div>

--001a11457f286d06370545c000c8--

--===============1155459757120830033==--