PLMW @ ICFP 2026: Funding Call

Conrad Watt <[email protected]> Tue, 19 May 2026 02:06:21 +0000
Newsgroups	gmane.comp.science.types.announce,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.science.mathematics.logic.isabelle.user,gmane.comp.lang.haskell.cafe
Message-ID	<SI2PR01MB42277B8E0026082C92C9D8A3D8002@SI2PR01MB4227.apcprd01.prod.exchangelabs.com>
--===============5138176747857730907==
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 ]


--===============5138176747857730907==
Content-Language: en-SG
Content-Type: multipart/alternative;
	boundary="_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_"

--_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

APPLICATION FOR PLMW TRAVEL FUNDING

Applications for travel funding to PLMW @ ICFP are now open - we will begin=
 awarding funding starting from June 1 AOE until all funding is committed. =
So long as funding remains, we will continue to consider applications submi=
tted before June 30th AOE.

We advise all interested to apply as soon as possible, especially if a visa=
 is required.

https://urldefense.com/v3/__https://icfp26.sigplan.org/home/PLMW-ICFP-2026*=
Call-for-Participation__;Iw!!IBzWLUs!Xb2wFqjoXqZr5iei2utrof0UNxSe7FwMNNGDS_=
opDe2xyP23BRrwKjHZQ-ZQzYENXZTMmU_ruSFzj1QmU7kBtNvZn6_KYgYfaN7JlSg$=20

The application can be accessed directly at the following URL:
https://urldefense.com/v3/__https://forms.gle/adtuWjLAbBtGTcCNA__;!!IBzWLUs=
!Xb2wFqjoXqZr5iei2utrof0UNxSe7FwMNNGDS_opDe2xyP23BRrwKjHZQ-ZQzYENXZTMmU_ruS=
Fzj1QmU7kBtNvZn6_KYgYfmkrkK-c$=20

PLMW is a workshop co-located with ICFP 2026 (the International Conference =
on Functional Programming) in Indanapolis, US, from August 24-29.

The purpose of this mentoring workshop is to encourage graduate students an=
d senior undergraduate students to pursue careers in programming language r=
esearch. This workshop will bring together world leaders in programming lan=
guages research and teaching from academia and industry to help students im=
agine how they might contribute to our research community. Topics will rang=
e from the abstract (e.g., what is PL research and how does one become invo=
lved in it) to the concrete (e.g., how to navigate an academic conference, =
how to pick a research area) as well as technical talks on cutting-edge top=
ics. See the link below for more details:

https://urldefense.com/v3/__https://icfp26.sigplan.org/home/PLMW-ICFP-2026_=
_;!!IBzWLUs!Xb2wFqjoXqZr5iei2utrof0UNxSe7FwMNNGDS_opDe2xyP23BRrwKjHZQ-ZQzYE=
NXZTMmU_ruSFzj1QmU7kBtNvZn6_KYgYf0jQZmwo$=20

________________________________

CONFIDENTIALITY: This email is intended solely for the person(s) named and =
may be confidential and/or privileged. If you are not the intended recipien=
t, please delete it, notify us and do not copy, use, or disclose its conten=
ts.
Towards a sustainable earth: Print only when necessary. Thank you.

--_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
APPLICATION FOR&nbsp;PLMW&nbsp;TRAVEL FUNDING</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Applications for travel funding to PLMW @ ICFP are now open - we will begin=
 awarding funding starting from June 1 AOE until all funding is committed. =
So long as funding remains, we will continue to consider applications submi=
tted before June 30th AOE.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
We advise all interested to apply as soon as possible, especially if a visa=
 is required.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<a href=3D"https://urldefense.com/v3/__https://icfp26.sigplan.org/home/PLMW=
-ICFP-2026*Call-for-Participation__;Iw!!IBzWLUs!Xb2wFqjoXqZr5iei2utrof0UNxS=
e7FwMNNGDS_opDe2xyP23BRrwKjHZQ-ZQzYENXZTMmU_ruSFzj1QmU7kBtNvZn6_KYgYfaN7JlS=
g$" id=3D"OWA06e51368-11b1-0635-4d4a-1ecb799ba556" class=3D"OWAAutoLink">ht=
tps://icfp26.sigplan.org/home/PLMW-ICFP-2026#Call-for-Participation</a><br>
<br>
The application can be accessed directly at the following URL:<br>
<span style=3D"color: rgb(17, 85, 204);"><a href=3D"https://urldefense.com/=
v3/__https://forms.gle/adtuWjLAbBtGTcCNA__;!!IBzWLUs!Xb2wFqjoXqZr5iei2utrof=
0UNxSe7FwMNNGDS_opDe2xyP23BRrwKjHZQ-ZQzYENXZTMmU_ruSFzj1QmU7kBtNvZn6_KYgYfm=
krkK-c$" id=3D"OWAbc882eff-4a43-2bf2-6bed-e3ce3b5859f7" class=3D"OWAAutoLin=
k">https://forms.gle/adtuWjLAbBtGTcCNA</a></span></div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
PLMW is a workshop co-located with ICFP 2026 (the International Conference =
on Functional Programming) in Indanapolis, US, from August 24-29.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
The purpose of this mentoring workshop is to encourage graduate students an=
d senior undergraduate students to pursue careers in programming language r=
esearch. This workshop will bring together world leaders in programming lan=
guages research and teaching from
 academia and industry to help students imagine how they might contribute t=
o our research community. Topics will range from the abstract (e.g., what i=
s PL research and how does one become involved in it) to the concrete (e.g.=
, how to navigate an academic conference,
 how to pick a research area) as well as technical talks on cutting-edge to=
pics. See the link below for more details:</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href=3D"https://urldefense.com/v3/__https://icfp26.sigplan.org/home/PLMW=
-ICFP-2026__;!!IBzWLUs!Xb2wFqjoXqZr5iei2utrof0UNxSe7FwMNNGDS_opDe2xyP23BRrw=
KjHZQ-ZQzYENXZTMmU_ruSFzj1QmU7kBtNvZn6_KYgYf0jQZmwo$">https://icfp26.sigpla=
n.org/home/PLMW-ICFP-2026</a></div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<hr>
<p style=3D"font-size:10pt; color:#808080;font-family: 'Arial';">CONFIDENTI=
ALITY: This email is intended solely for the person(s) named and may be con=
fidential and/or privileged. If you are not the intended recipient, please =
delete it, notify us and do not copy,
 use, or disclose its contents. <br>
Towards a sustainable earth: Print only when necessary. Thank you. </p>
</body>
</html>

--_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_--

--===============5138176747857730907==--