Call for Participation: POPL'23 January 15--21, 2022, Boston Registration now open: https://cvent.me/kV4ZYZ (Early registration ends Fri, Dec 16!)
POPL'23 --- The 50th ACM Symposium on Principles of Programming Languages, will be held in Boston, MA, from January 15 to January 21, 2023. The annual POPL meeting is a forum for the discussion of all aspects of programming languages and programming systems. This year marks POPL's 50th anniversary, and will bring POPL back to the site of its first occurrence: Boston, Massachusetts. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. This year's program consists of 74 research papers on a wide variety of topics. The registration is now open, see POPL'23 website for details. Location: POPL’23 will be held in person in Boston from Sunday, January 15 to Saturday, January 21, 2023. The conference will be held at the Boston Park Plaza hotel, just steps away from the beautiful Boston Common. POPL'22 will feature a keynote lectures by Viktor Vafeiadis. TutorialFest at POPL will host a wide variety of exciting tutorials, including: "Deductive Verification of Probabilistic Programs" by Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja "Incorrectness Logic and Under-approximation: Foundations of Bug Catching" by Quang Loc Le, Peter O'Hearn, and Azalea Raad "Isabelle/HOL: Foundations, Induction, and Coinduction" by Andrei Popescu, and Dmitriy Traytel "Neurosymbolic Programming" by Swarat Chaudhuri, Atharva Sehgal, Jennifer Sun, and Yisong Yue "QuickChick: Combining Random Testing and Verification in Coq" by Leonidas Lampropoulos "RUST: Regions, Uniqueness, Ownership & Types" by James Noble and Tobias Wrigstad "Using a Proof Assistant to Teach PL Theory, Without the Overhead" by Jonathan Aldrich and John Boyland "Z3 Internals -- A guide to principles, art and empirics of programming SMT solvers" by Nikolaj Bjørner 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@POPL Lunch LGBTQ+@POPL Lunch Co-located meetings: Certified Programs and Proofs (CPP) 2023 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) Organizing Committee: Andrew C. Myers (General Chair) Amal Ahmed (PC Chair) Ilya Sergey (Industrial Relations) Kristopher Micinski (Publicity) William Bowman and Anders Miltner (Workshops) Jeehoon Kang and Danfeng Zhang (Student Research Competition) Leonidas Lampropoulos and Mukund Raghothaman (Artifact Evaluation) Kostas Ferles and Yuepeng Wang (Web) Shraddha Barke and Konstantinos Kallas (Student Volunteer) Benjamin Delaware (Accessibility, Diversity, and Inclusion) Guilherme Espada (Video) Apoorv Ingle (Virtualization) Neringa Young (Treasury and Conference Manager) Industry Sponsors: POPL'22 gratefully acknowledges financial support from industry sponsors: Platinum: Jane Street, ahrefs, Epic Games, and Input | Output Silver: JetBrains Bronze: Certik, Certora, and Google PLMW Gold: Jane Street PLMW Silver: Galois Early stage: Veridise Women@POPL: Tarides _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
