From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 0790A7FACB for ; Fri, 5 Sep 2014 09:36:34 +0200 (CEST) Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of alan.schmitt@polytechnique.org) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=+s2f=56=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="alan.schmitt@polytechnique.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=+s2f=56=polytechnique.org=alan.schmitt@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=+s2f=56=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="SRS0=+s2f=56=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=+s2f=56=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8FAP5mCVSBaB4inGdsb2JhbABZg2BYgnuyQYFJkToKiFMWEAEBAQEBCBQJPYQnBj4HDUAaBwIRAQRJJ4guDZhojy+VdowegkKDLA8yEoFBBYUKAo0zglJdiFmVDVWBSIM5AQEB X-IPAS-Result: Ar8FAP5mCVSBaB4inGdsb2JhbABZg2BYgnuyQYFJkToKiFMWEAEBAQEBCBQJPYQnBj4HDUAaBwIRAQRJJ4guDZhojy+VdowegkKDLA8yEoFBBYUKAo0zglJdiFmVDVWBSIM5AQEB X-IronPort-AV: E=Sophos;i="5.04,471,1406584800"; d="asc'?scan'208";a="93130757" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 05 Sep 2014 09:36:33 +0200 Received: from top-wifi.irisa.fr (top-wifi.irisa.fr [131.254.66.192]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 9962E140912FA for ; Fri, 5 Sep 2014 09:36:32 +0200 (CEST) From: Alan Schmitt To: OCaml Mailing List Date: Fri, 05 Sep 2014 09:36:33 +0200 Message-ID: User-Agent: Gnus/5.130012 (Ma Gnus v0.12) Emacs/24.3 (darwin) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Fri Sep 5 09:36:32 2014 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000033, queueID=B1BE2140912FB X-Org-Mail: alan.schmitt.1995@polytechnique.org Subject: [Caml-list] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: September 19!) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable CALL FOR SCHOLARSHIP APPLICATIONS (Deadline September 19!) ACM SIGPLAN Programming Languages Mentoring Workshop, Mumbai, India Wednesday, January 14, 2015 Co-located with POPL 2015 PLMW web page: http://plmw15.iisc-seal.net/ After the resounding success of the first three Programming Languages Mentoring Workshops at POPL 2012, 2013, and 2014, we proudly announce the 4th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2015 and organised by Derek Dreyer, Aditya Kanade, Ruzica Piskac, Alan Schmitt, and Ross Tate. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will provide technical sessions on cutting-edge research in programming languages, and mentoring sessions on how to prepare for a research career. We will bring together leaders in programming language research from academia and industry to give talks on their research areas. The workshop will engage students in a process of imagining how they might contribute to our research community. So far, we have the following speakers confirmed to speak at the workshop, and we expect about 7 additional speakers as well: - Adam Chlipala (MIT) - Sumit Gulwani (Microsoft Research) - Mike Hicks (University of Maryland, College Park) - Shriram Krishnamurthi (Brown) - Matt Might (University of Utah) We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site (http://plmw15.iisc-seal.net/application). The deadline for full consideration of funding is FRIDAY, SEPTEMBER 19. Selected participants will be notified by OCTOBER 1 or earlier, and will need to pre-register for the workshop (i.e. declare intent to attend) by OCTOBER 10. Note the early date!! The reason for this early pre-registration has to do with obtaining visas for travel to India. To apply for a =E2=80=9Cconference visa=E2=80= =9D, all attendees of POPL and PLMW must register their intent to attend the event by October 10. More details concerning the visa application process will be provided soon. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) iQEcBAEBCgAGBQJUCWgBAAoJEAQNCjtO0uXH6yYH/1U46jSY/tzMFpi3Ts2OKQak M5Udd4DzlOa+YuET0u0zaaZoWSoALUzSKyED8aunisktT+XA+JnQoGGgKSVH40aF P6IanotC33bpgn8AACfGFJh3M9+deFQn+Fd0y4HGd4U9cCD7OJFafL4fEAD5KC9P spodoiRAYrzrfCS/0rYIzQUhoBHuxKbjlDrPsDbaTBtffi3OT9YTvP7Ni3xdtrxO jzL9jrE0EV6sg//mGX46iKw5Bh89B6awbkDxt2+uZfMtAZ3AnXfTdgETGuHJXMn6 cPQtcPOHzRDL0BOLd+FLmp9wLUWVWoZBcMJRHcM8g7meSfDEmcijC1992qzWkW4= =Qvo2 -----END PGP SIGNATURE----- --=-=-=--