POPL 2027 Call for Workshops
Ningning Xie <[email protected]> Wed, 10 Jun 2026 16:13:19 -0400
| Newsgroups | gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <CABjRk3kgSrNGKponKDkXgpq6DLgLWd3xjo5pHn47BTDJnvFXJw@mail.gmail.com> |
--000000000000abd7010653ebe02a Content-Type: text/plain; charset="UTF-8" POPL 2027 Call for Workshops Sun 10 - Sat 16 January 2027 Mexico City, Mexico https://popl27.sigplan.org/ ============================= Submission details Deadline for submission: 24 July 2026 Notification of acceptance: 4 August 2026 A workshop proposal should provide the following information: - Name of the workshop. - A short description (150-200 words) of the workshop. - Call for submissions. - Duration of the workshop. - Whether the workshop will be Conference-approved or SIGPLAN-approved (see below). - Organizers: names, affiliation, contact information, brief (100 words) biography. - Event format: workshop; type of submissions if any; review process; results dissemination. - Expected attendance and target audience. - Potential PC members - please do not contact them before the workshop is approved. - History of the workshop. - Plans for remote participation. Please submit your proposals at https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events --------------------------------------------------------------------- SIGPLAN Sponsorship POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/). There are two kinds of co-located events: Conference-approved (no proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information, including a full listing of prescriptions for Conference-approved and SIGPLAN-approved workshops. SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-approved workshops must additionally include the gender, country of affiliation, and professional status of potential PC members. See https://www.sigplan.org/Resources/Policies/Diversity/ for more details. --------------------------------------------------------------------- Selection committee All submissions will be evaluated by a committee comprising the workshops co-chairs, the general chair, and the program chair. --------------------------------------------------------------------- Further information Any questions regarding POPL 2027 co-located event proposals should be addressed to the workshops chairs, Aws Albarghouthi ([email protected]) and Alan Schmitt ([email protected]). --000000000000abd7010653ebe02a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div di= r=3D"ltr">POPL 2027 Call for Workshops<br>Sun 10 - Sat 16 January 2027<br>M= exico City, Mexico<br><a href=3D"https://popl27.sigplan.org/" target=3D"_bl= ank">https://popl27.sigplan.org/</a><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<span style=3D"color:= rgb(0,0,0);font-family:Helvetica;font-size:12px"></span></div><div dir=3D"l= tr"><span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px"><= br></span></div>Submission details<br><br>Deadline for submission: 24 July = 2026<br><br>Notification of acceptance: 4 August 2026<br><br>A workshop pro= posal should provide the following information:<br><br>- Name of the worksh= op.<br>- A short description (150-200 words) of the workshop.<br>- Call for= submissions.<br>- Duration of the workshop.<br>- Whether the workshop will= be Conference-approved or SIGPLAN-approved (see below).<br>- Organizers: n= ames, affiliation, contact information, brief (100 words) biography.<br>- E= vent format: workshop; type of submissions if any; review process; results = dissemination.<br>- Expected attendance and target audience.<br>- Potential= PC members - please do not contact them before the workshop is approved.<b= r>- History of the workshop.<br>- Plans for remote participation.<br><br>Pl= ease submit your proposals at<br><a href=3D"https://popl27.sigplan.org/trac= k/POPL-2027-workshops-and-co-located-events">https://popl27.sigplan.org/tra= ck/POPL-2027-workshops-and-co-located-events</a><br><br>-------------------= --------------------------------------------------<br><br>SIGPLAN Sponsorsh= ip<br><br>POPL co-located events are sponsored by SIGPLAN (<a href=3D"http:= //sigplan.org/">http://sigplan.org/</a>).<br>There are two kinds of co-loca= ted events: Conference-approved (no<br>proceedings) and SIGPLAN-approved (p= roceedings in the ACM Digital<br>Library). See <a href=3D"http://www.sigpla= n.org/Resources/Guidelines/Workshops/">http://www.sigplan.org/Resources/Gui= delines/Workshops/</a><br>for more information, including a full listing of= prescriptions for<br>Conference-approved and SIGPLAN-approved workshops.<b= r><br>SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.= <br>Proposals for SIGPLAN-approved workshops must additionally include the<= br>gender, country of affiliation, and professional status of potential<br>= PC members. See <a href=3D"https://www.sigplan.org/Resources/Policies/Diver= sity/">https://www.sigplan.org/Resources/Policies/Diversity/</a><br>for mor= e details.<br><br>---------------------------------------------------------= ------------<br><br>Selection committee<br><br>All submissions will be eval= uated by a committee comprising the<br>workshops co-chairs, the general cha= ir, and the program chair.<br><br>-----------------------------------------= ----------------------------<br><br>Further information<br><br>Any question= s regarding POPL 2027 co-located event proposals should be<br>addressed to = the workshops chairs, Aws Albarghouthi (<a href=3D"mailto:[email protected]">= [email protected]</a>)<br>and Alan Schmitt (<a href=3D"mailto:alan.schmitt@in= ria.fr">[email protected]</a>).</div></div></div></div> --000000000000abd7010653ebe02a--