Stream: Announcements

Topic: Coq Workshop deadline May 10 AoE, 2022


view this post on Zulip 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: Feb 06 2023 at 05:03 UTC