<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="">===================================================================</div><div class=""><br class=""></div><div class=""> CoqPL 2022</div><div class=""><br class=""></div><div class=""> 8th International Workshop on Coq</div><div class=""> for Programming Languages</div><div class=""> --</div><div class=""> January, 2022, co-located with POPL</div><div class=""> Philadelphia, Pennsylvania, United States</div><div class=""><br class=""></div><div class=""> CALL FOR PARTICIPATION</div><div class=""><br class=""></div><div class=""> <a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/CoqPL-2022__;!!IBzWLUs!EMf4C-bxdtX1G9xysxedscdXtAprwRHFRSIj8Ct7EFp7565rfKtidDaJ5e2LXC_VF13RCrAu_2et1Q$" class="">https://popl22.sigplan.org/home/CoqPL-2022</a></div><div class=""><br class=""></div><div class="">===================================================================</div><div class=""><br class=""></div><div class="">The CoqPL'22 program is now available online: <a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/CoqPL-2022*program__;Iw!!IBzWLUs!EMf4C-bxdtX1G9xysxedscdXtAprwRHFRSIj8Ct7EFp7565rfKtidDaJ5e2LXC_VF13RCrAJNzrpVw$" class="">https://popl22.sigplan.org/home/CoqPL-2022#program</a></div><div class=""><br class=""></div><div class="">This year's edition of CoqPL will consist of six contributed talks, two invited talks, and a session with the Coq development team.</div><div class=""><br class=""></div><div class="">Workshop Overview</div><div class="">-----------------</div><div class=""><br class=""></div><div class="">The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes to Coq itself, and generally work to strengthen the vibrant community around our favorite proof assistant.</div><div class=""><br class=""></div><div class="">Invited Events</div><div class="">---------------</div><div class="">- Coq meets literate programming: tools for documenting, preserving, and sharing mechanized proofs: Clément Pit-Claudel</div><div class="">- Verifying Concurrent, Crash-Safe Systems with Perennial: Joseph Tassarotti</div><div class="">- Session with the Coq development team: Matthieu Sozeau</div><div class=""><br class=""></div><div class="">Contributed Talks</div><div class="">-----------------</div><div class="">- A Visual Ltac Debugger in CoqIDE: Jim Fehrle</div><div class="">- Scrap your boilerplate definitions in 10 lines of Ltac!: Qianchuan Ye and Benjamin Delaware</div><div class="">- Tealeaves: Categorical structures for syntax: Lawrence Dunn, Steve Zdancewic, Val Tannen</div><div class="">- Towards a Formalization of Nominal Sets in Coq: Fabrício S. Paranhos, Daniel Ventura</div><div class="">- A Verified Pipeline from a Specification Language to Optimized, Safe Rust: Rasmus Holdsbjerg-Larsen, Bas Spitters, Mikkel Milo</div><div class="">- A Case for Lightweight Interfaces in Coq: David Swasey, Paolo G. Giarrusso, Gregory Malecha</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Hybrid workshop due to Covid-19</div><div class="">------------------------------------------------</div><div class="">CoqPL 2022 is collocated with POPL 2022 and will follow the guidelines set by the organizing committee of POPL 2022. POPL organizers have decided to hold POPL and its collocated as hybrid events making both in-person and virtual participation options available to all participants. (It is possible that these events would change to fully virtual events if many participants decide to convert their participation from in-person to virtual.) For more information see POPL's website: <a href="https://urldefense.com/v3/__https://popl22.sigplan.org/__;!!IBzWLUs!EMf4C-bxdtX1G9xysxedscdXtAprwRHFRSIj8Ct7EFp7565rfKtidDaJ5e2LXC_VF13RCrCpMppSmA$" class="">https://popl22.sigplan.org/</a>.</div><div class=""><br class=""></div></body></html>