[TYPES/announce] Call for Participation: POPL'22

[Loris D'Antoni]

Call for Participation: POPL'22
January16--22, 2022, Philadelphia
Registration now open: early registration deadline: January 3 !

POPL'22 --- 49th ACM Symposium on Principles of Programming Languages, will
be held in Philadelphia, USA, from January 16 to January 22, 2022.  The
annual POPL meeting is a forum for the discussion of all aspects of
programming languages and programming systems.  The symposium is sponsored
by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. This year's
program consists of 68 research papers on topics ranging from formal
frameworks to experience reports. The registration is now open, see POPL'22
website for details.

Location:
POPL’22 will be held in person in Philadelphia from Sunday, January 16 to
Saturday, January 22, 2022. The conference will be held in Westin
Philadelphia in the beautiful neighborhood of Rittenhouse Square in Center
City which is within walking distance to many of the tourist attractions in
Philadelphia.

Keynotes:
POPL'22 will feature keynote lectures by
Alfred V. Aho (Columbia University, co-winner of the 2021 ACM A.M. Turing
Award)
Alexandra Silva (Cornell University)
Armando Solar-Lezama (MIT)

Tutorials:
TutorialFest at POPL will host the following tutorials this year:
"Formal Methods and Deep Learning" by Matthew Mirman and Gagandeep Singh
"Program Analysis via Graph Reachability: Past, Present, and Future" by
Qirun Zhang and Thomas Reps
"Meta-programming and proving with MetaCoq" by Matthieu Sozeau, Yannick
Forster, and Meven Lennon-Bertrand
Mentoring:

POPL'22 will include the following events for helping attendees with
research and career opportunities in programming languages:
Programming Languages and Mentoring Workshop (PLMW)
Junior Faculty Mentoring Breakfast
Mentoring Breakfast for Graduating PhDs and Postdocs
Diversity, Equity, and Inclusion:

POPL is committed to welcoming and fostering participation by diverse
members of PL community. DEI events at POPL'22 include
Women at POPL Lunch
LGBTQ+ at POPL Lunch
ShutdownPL Session with a special keynote by Dr. Brittany Johnson
Co-located meetings:
Certified Programs and Proofs (CPP) 2022
24th International Symposium on Practical Aspects of Declarative Languages
(PADL) 2022
23rd International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI) 2022
Co-located workshops:
Eighth International Workshop on Coq for Programming Languages (CoqPL)
Seventh International Workshop on Languages for Inference (LAFI)
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
Workshop on Principles of Secure Compilation (PriSC)
Programming Languages and the Law (ProLaLa)
First Workshop on the Implementation of Type Systems (WITS)
Virtual participation:

We are looking forward to welcome POPL community for an in-person meeting.
Talks will be live-streamed and arrangements will be made for authors who
need to give their talks remotely. There will be a separate virtual
workshop on January 27–28, 2022, to give all in the POPL community an
opportunity to interact with one another.

COVID policy:
Attendance at POPL'22 requires a proof of COVID vaccination. Precise
details---consistent with city, state, and federal regulations, will be
posted on POPL website soon.

Organizing Committee:
Rajeev Alur (General Chair)
Hongseok Yang (PC Chair)
Nate Foster (Industrial Relations)
Loris D'Antoni (Publicity)
Ruzica Piskac and Ilya Sergey (Workshops)
Jeehong Kang and Azalea Raad (Student Research Competition)
Pavel Panchekha and Mukund Raghothaman (Artifact Evaluation)
Amin Timany and Yuepeng Wang (Web)
Konstantinos Kallas and Aaron Weiss (Student Volunteer)
Adam Chlipala and Youyou Cong (Virtualization)
Jennifer Paykin (Accessibility, Diversity, and Inclusion)
Industry Sponsors:

POPL'22 gratefully acknowledges financial support from industry sponsors:
Platinum: Epic Games, Meta, Microsoft, Tezos
Gold: Amazon, Jane Street
Silver: JetBrains
Bronze: Certora, Informal Systems, Google
Early stage: AkitaSoftware, Correct Computation, OctoML
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211201/5cedb746/attachment-0001.htm>