[Agda] Call for scholarship applications: PLMW @ POPL 2020
Robbert Krebbers
mailinglists at robbertkrebbers.nl
Fri Aug 30 09:48:35 CEST 2019
CALL FOR SCHOLARSHIP APPLICATIONS (** DEADLINE: OCTOBER 7 **)
ACM SIGPLAN Programming Languages Mentoring Workshop, New Orleans, Louisiana
Tuesday, January 21, 2020
Co-located with POPL 2020
Web page: https://popl20.sigplan.org/home/PLMW-POPL-2020
After the success of the first eight Programming Languages Mentoring
Workshops at POPL 2012-2019 we are announcing the 9th SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with POPL
2020 and organized by Stephanie Balzer, Justin Hsu, Robbert Krebbers,
and Nobuko Yoshida.
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 bring together world leaders in
programming languages research and teaching from academia and industry
to provide (a) technical sessions on cutting-edge PL research and (b)
mentoring sessions on how to prepare for a research career. The workshop
will help students imagine how they might contribute to our research
community.
We especially encourage women and underrepresented minority students,
and people with disabilities 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 as well.
APPLICATION for PLMW scholarship:
The scholarship application can be accessed at the following URL:
https://forms.gle/dzV8ELgQUx2xfEjm9
The deadline for full consideration of funding is Monday, October 7.
Selected participants will be notified by October 21.
Confirmed speakers (so far):
* Adriana Compagnoni, Stevens Institute of Technology
* Isil Dillig, UT Austin
* Derek Dreyer, MPI-SWS
* Marco Gaboardi, SUNY Buffalo
* Lindsey Kuper, UC Santa Cruz
* Xavier Leroy, Inria
Confirmed sponsors (so far):
* An Anonymous Donor
* NSF
* ACM SIGPLAN
* Amazon
More information about the Agda
mailing list