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: Oct 13 2024 at 01:02 UTC