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: Apr 19 2024 at 10:02 UTC