Karl Palmskog (May 10 2022 at 14:11): Karl Palmskog (May 10 2022 at 14:11):For those who may not have seen on Discourse (and since non-new-topic Discourse posts don't show up here), I'd like to remind that the deadline for Coq Workshop presentation proposals (co-located with ITP conference in August, 2022) is May 10, AoE, 2022: https://coq-workshop.gitlab.io/2022/
Last updated: Apr 16 2024 at 11:01 UTC