Dear Coq users,

I am a new Coq user (I started a little more than a year ago) and my motivation was to use Coq to prove the results contained in two papers I made with collegues. The tools I needed were mostly binary relations and paths in graphs. Now the work is done but I realize that its not easy to find where to publish papers containing new mathematical proofs and their Coq assisted versions.

I was thinking of Journal of Formalized Reasoning but I see that the last paper was in 2020. Is it still a possible choice ?

I turn to this mailing list for advices.

Best regards,

the top-ranked journal for proof assistant formalizations is to my knowledge Journal of Automated Reasoning: https://link.springer.com/journal/10817

There are also conferences like ITP and CPP, which have formally published proceedings.

Sadly JAR's open access fees are much higher than seems justifiable. Another option can be [LMCS}(https://lmcs.episciences.org/) which also includes formalized mathematics in the topics they cover.

JFR lacked papers... Writing to the editor is the best way to know if it is still alive.

Thanks for pointing me these possibilities.

Last updated: Jun 23 2024 at 04:03 UTC