ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [POPL 2023]
information scienceComputer Science and Technologies
Conference Date
Jan 15-21, 2023Place
Boston, The United StatesSubmission Deadline
Jul 07, 2022Telephone
Description
PACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2023 will be invited to present their work in the POPL conference in January 2023, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
This call for contributions is subject to change.
Scope:
Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
Submission
Guidelines:
The following two points are easy to overlook:
Conflicts: Each author of a submission has to log into the submission system and properly declare all potential conflicts of interest in the author profile form. A conflict caught late in the reviewing process leads to a voided review which may be infeasible to replace.
Anonymity: POPL 2023 will employ a lightweight double-blind reviewing process. Make sure that your submitted paper is fully anonymized.
Favonia
unread,
Sep 23, 2022, 12:00:43 PMSep 23
to , , , , , , , , , , Homotopy Type Theory
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: //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:
//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
Welcome to the Symposium on Principles of Programming Languages [POPL 2023] submissions site. For general conference information, see //popl23.sigplan.org.
Welcome to the 50th ACM SIGPLAN Symposium on Principles of Programming Languages [POPL 2023] submissions site. For general conference information, see //popl23.sigplan.org/track/POPL-2023-popl-research-papers.
HotCRP.com signin
Sign in using your HotCRP.com account.
Forgot your password?
Password
New to the site? Create an account
Submissions
The deadline for registering submissions has passed.