Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
@ 2022-09-23 16:00 'Favonia' via Homotopy Type Theory
  0 siblings, 0 replies; only message in thread
From: 'Favonia' via Homotopy Type Theory @ 2022-09-23 16:00 UTC (permalink / raw)
  To: types-announce, coq-club, agda, haskell-cafe, ssreflect, eutypes,
	cl-isabelle-users, hol-info, ProofTheory, univalent-mathematics,
	Homotopy Type Theory

[-- Attachment #1: Type: text/plain, Size: 2701 bytes --]

CALL FOR SCHOLARSHIP APPLICATIONS

*DEADLINE: 14 October 2022, 23:59 AoE* (Anywhere on Earth)


ACM SIGPLAN Programming Languages Mentoring Workshop

Location: Boston, Massachusetts, USA

Date: Tuesday, January 17, 2023

Web page: https://popl23.sigplan.org/home/PLMW-POPL-2023

Following the success of the first eleven Programming Languages Mentoring
Workshops at POPL 2012-2022, we are pleased to announce the 12th SIGPLAN
Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2023
and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou
(Favonia), and Robbert Krebbers. The workshop will take place *in person*
in Boston.

PLMW aims to encourage graduate students and senior undergraduate students
to pursue careers in programming language (PL) research. This workshop will
bring together world leaders in PL research and teaching from both 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
vibrant and thriving research community.

We especially encourage women, members of underrepresented minorities, 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 for the
whole conference.

A number of sponsors (listed below) have generously donated scholarship
funds for qualified students to attend PLMW. These scholarships can cover
expenses (airfare, hotel, and registration fees) for attendance at both the
workshop and the POPL conference itself. The workshop registration is open
to all (with or without scholarships). Students with alternative sources of
funding are welcome as well.

APPLICATION FOR PLMW SCHOLARSHIP

The application form can be accessed at the following URL:

https://forms.gle/Ct19QcsKjSLoE38B9

The deadline for full consideration of funding is *14 October 2022, 23:59
AoE.*

Confirmed sponsors so far:

   -

   NSF
   -

   ACM SIGPLAN
   -

   Jane Street
   -

   Galois

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2BrvcaV%3DBxS2NQ%2BkaX2hqbjDhTNuxM1T_ap%2B%2BPNuXY_o678Q%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 12275 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-09-23 16:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-23 16:00 [HoTT] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE) 'Favonia' via Homotopy Type Theory

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).