Stream: Coq users

Topic: ITP

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: Sep 23 2023 at 08:01 UTC