#CallForPresentations #CoqPL #CoqPL2024 (Workshop on Coq for Programming Languages) "provide[s] 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... To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop" https://popl24.sigplan.org/home/CoqPL-2024#Call-for-Presentations #Coq #ITP #PL #POPL