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:

Last updated: May 31 2023 at 03:30 UTC