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 7BC467EE6B for ; Wed, 4 Dec 2013 09:48:44 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.93,823,1378850400"; d="scan'208";a="46864736" Received: from top-wifi.irisa.fr (HELO top-wifi) ([131.254.66.192]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 04 Dec 2013 09:48:44 +0100 User-agent: mu4e 0.9.9.6pre2; emacs 24.3.1 From: Alan Schmitt To: caml users Date: Wed, 04 Dec 2013 09:46:19 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] PLMW: Mentoring at POPL. Second Call for Participation Students! You less than have one week left to apply for funding to come to both POPL and PLMW! CALL FOR PARTICIPATION SIGPLAN Programming Languages Mentoring Workshop, San Diego, USA Tuesday January 21, 2014 Co-located with POPL 2014 PLMW web page: http://plmw2014.inria.fr/ After the resounding success of the first two Programming Languages Mentoring Workshops at POPL 2012 and POPL 2013, we proudly announce the 3rd SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2014 and organised by Amal Ahmed, Benjamin C. Pierce, and Alan Schmitt. 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. 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 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://plmw2014.inria.fr/). The deadline for full consideration of funding is 10th December, 2013. Selected participants will be notified from Friday 14th December, and will need to register for the workshop by December 24th. SPEAKERS: - Andrew Appel: Software Verification - Isil Dillig: Program Analysis - Nate Foster: You and your PhD - Derek Dreyer: Progress & Preservation Considered Boring: A Paean to Parametricity - John Hughes: Unaccustomed as I am to public speaking - Greg Morrisett: Think Big: Some Crazy Thesis Topics - Peter O'Hearn: Program Logic and Analysis - Peter Sewell: From POPL to the Jungle and Back - Phil Wadler: You and Your Research and The Elements of Style - Stephanie Weirich: Why you should care about dependent types FAQ: We have put a page answering the most frequent questions at http://plmw2014.inria.fr/faq.html SPONSORS: Facebook Google Jane Street Microsoft Research NSF SIGPLAN