Stream: Coq users

Topic: ITP


view this post on Zulip Bas Spitters (Jan 20 2022 at 10:25):

I am in the PC here, please let me know if you have any questions. I would be nice to have many Coq submissions this year.
Abstract: Feb 1
Paper deadline: Feb 8
https://itpconference.github.io/ITP22/cfp.html


Last updated: Jan 29 2023 at 06:02 UTC