#coqpl — Public Fediverse posts

#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

#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

#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

#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

#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

@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.

@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.

@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.

@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.

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!

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!

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!