<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="x_elementToProof" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><span style="margin: 0px;" class=""><img class="x_ContentPasted0 x_h-240 x_w-320 x_Do8Zj" size="7991" data-outlook-trace="F:1|T:1" style="margin: 0px; min-width: auto; min-height: auto; max-width: 100%;" apple-inline="yes" id="AA8BB7A1-13AD-454B-A1EE-8CCABA444EB6" src="cid:f1358543-9291-4773-b0d4-875914c28c07"></span></div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">===================================================================</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> 3rd Workshop on Programming Languages</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> in The Netherlands</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> --</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> Friday, June 16, 2023</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> Amsterdam, The Netherlands</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> CALL FOR TALK PROPOSALS</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"> <a href="https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$" data-auth="Verified" originalsrc="https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$" shash="FmZvpUVmM/QpvHLWCg31nkbzU/QIgq630WFUw3bEHljpMgh+UU+WYoA4Zfq/LmA74qigeI53SM9rmIEvIwa58DzzoKvx2Hj9xhXUSq/J2X5KeHlSjqW5x6jDAGAQGLhBaaYY4A/CAN8xF0X4XGMeNs863P6QHetblo50lvXfiZM=" class="x_ContentPasted0" title="Original URL: https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$. Click or tap if you trust this link." data-safelink="true" data-ogsc="" data-linkindex="5" data-loopstyle="link" style="margin: 0px;">https://conf.researchr.org/home/plnl-2023</a></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">===================================================================</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><b class="x_ContentPasted0">Workshop Overview</b></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">-----------------</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">After the successful launch of this new workshop series with PLNL’18 and PLNL’19, we are happy to invite you to give a presentation at PLNL’23 in Amsterdam. The purpose of PLNL is to bring together researchers
in the area of programming languages in The Netherlands. The workshop targets programming language research in the broad sense, including, but not limited to, the design, implementation, theory, application, and teaching of programming languages.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><b class="x_ContentPasted0">Workshop Format</b></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">---------------</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">The workshop will consist of a number of contributed talks. These talks should provoke discussion and questions --- we strive to have interactive sessions with plenty of discussion by the audience. </div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">The coffee and lunch breaks will allow for networking with colleagues and meeting new people. Junior and senior researchers are equally welcome and encouraged to submit a talk proposal.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">Researchers that are not from The Netherlands, but for example, from neighbouring countries like Belgium or Germany, are also welcome to participate. The language of the workshop is English.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><b class="x_ContentPasted0">Registration</b></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">------------</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">Participation is free, but registration is compulsory. The deadline for registration is June 9, 2023.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">To register, please visit <a href="https://urldefense.com/v3/__https://forms.gle/uWSWLywbJWs7sw5i9__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ42t_MRVM$" data-auth="Verified" originalsrc="https://urldefense.com/v3/__https://forms.gle/uWSWLywbJWs7sw5i9__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ42t_MRVM$" shash="K8Z3OY4cxObR0uPPttbcgvBRyvOlwtJfqCBgbWYMi7V26RK7ZfXUEI4E4gmW0Os8YlXDllxPIuMANaSzYc2uqsZ9QIes4ZeFJrXfSpG0DTRjuJHnqKCkNA9UcBwTYUn/PQDJ2u6ULbrchkQg5vYi7u2s++WmF9RnBO/qMkrM5jw=" title="Original URL: https://urldefense.com/v3/__https://forms.gle/uWSWLywbJWs7sw5i9__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ42t_MRVM$. Click or tap if you trust this link." data-safelink="true" data-ogsc="" data-linkindex="6" class="x_ContentPasted0" data-loopstyle="link" style="margin: 0px;">https://forms.gle/uWSWLywbJWs7sw5i9</a></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><b class="x_ContentPasted0">Submission details</b></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">------------------</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">Submission page: <a href="https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$" data-auth="Verified" originalsrc="https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$" shash="tjKIAAwfoiMtWsCo3a4LtWUKSkIIU6Olh/Gvn6jbwSYq7fUIyJFuX87r45uVzQn/Ak0BFr5PVaB9FBWN3wRqagzEcmOELuK9ihA51PBPgno23yv18CMW5qO6Uq+UlzMBwUe0d6zKtW3pR7UOTs7q8OHvgaJUXPA5hf9cHnFDPz8=" title="Original URL: https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2023__;!!IBzWLUs!TDpb_qMpa5uwIdnj24ypiGBU_ten2-ktb1JelTpmCWOJZ8Yp_eRS2Zx7eNegDaUFAQlAarIMrk0r1UR_c01daLsy4ucruVeQ47-X7zLl$. Click or tap if you trust this link." data-safelink="true" data-ogsc="" data-linkindex="7" class="x_ContentPasted0" data-loopstyle="link" style="margin: 0px;">https://conf.researchr.org/home/plnl-2023</a></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"><b class="x_ContentPasted0">Submission</b>: Friday, May 19, 2023.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"><b class="x_ContentPasted0">Notification</b>: Friday, May 26, 2023.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"><b class="x_ContentPasted0">Workshop</b>: Friday, June 16, 2023.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">Submissions for talk proposals should be described in an abstract of at most 300 words. Proposals do not need to represent original work. For example, proposing a talk about (recently) published work is fine.</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><br class="x_ContentPasted0">
</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;"><b class="">Organizers</b></div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">----------</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div class="x_ContentPasted0" style="margin: 0px;">L. Thomas van Binsbergen (<a href="mailto:l.t.vanbinsbergen@uva.nl" class="">l.t.vanbinsbergen@uva.nl</a>)</div>
</div>
</div>
</div>
</div>
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class="">
<div style="margin: 0px;" class=""><span class="x_ContentPasted0" style="margin: 0px;">Mauricio Verano Merino (<a href="mailto:m.verano.merino@vu.nl" class="">m.verano.merino@vu.nl</a>)</span></div>
</div>
</div>
</div>
<br class="">
</div>
<div class="x_elementToProof" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
<b class="">Programme Committee</b></div>
<div class="x_elementToProof" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
----------</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- L. Thomas van Binsbergen (University of Amsterdam)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Mauricio Verano Merino (Free University, Amsterdam)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Pieter Koopman (Radboud University)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Peter Achten (Radboud University)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Wouter Swierstra (University of Utrecht)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Tijs van der Storm (CWI, University of Groningen)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Vadim Zaytsev (University of Twente)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Casper Bach Poulsen (TU Delft)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
- Jurgen Vinju (CWI, TU Eindhoven)</div>
<div class="x_elementToProof x_ContentPasted1" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">
<br class="">
</div>
<div class="">
<div>Kind regards,</div>
<div><br class="">
</div>
<div>Mauricio Verano Merino</div>
<div class=""><br class="">
</div>
<br class="Apple-interchange-newline">
</div>
<br class="">
</body>
</html>