RanaldCloustonSep 11, 2023
#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
CoqPL 2024 - The Tenth International Workshop on Coq for Programming Languages - POPL 2024

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. Topics in scope include: Formalizations of PL research in Coq General purpose libraries and tactic lang ...

Show threadClément AubertDec 8, 2022
@AssertionError @thomasseiller We can discuss this privately (over email), first make sure you meet the eligibility criteria. As for our paper at #CoqPL, it is unfortunately not on-line (for now), but you can read 3.3 of https://doi.org/10.1145/3563768.3565545 to get a first preliminary idea of our goals.
Formally Verified Resource Bounds through Implicit Computational Complexity | Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

ACM Conferences
Show threadTiago CogumbreiroDec 8, 2022
@clementaubert @thomasseiller I would love to know more about this grant. Also, I'm really curious about your paper on complexity analysis being presented at #CoqPL
Clément AubertNov 18, 2022
Glad to read that our abstract _ Certifying Complexity Analysis_ was very positively received by #CoqPL 2023. It's not on-line (yet), but we are eager to receive more feedback during the presentation on January 21st!