Stream: Coq users

Topic: Journal of Formalized Reasoning

view this post on Zulip Jean-Philippe Chancelier (Feb 12 2024 at 17:35):

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,

view this post on Zulip Karl Palmskog (Feb 12 2024 at 17:54):

the top-ranked journal for proof assistant formalizations is to my knowledge Journal of Automated Reasoning:

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

view this post on Zulip Stefan Monnier (Feb 12 2024 at 20:22):

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

view this post on Zulip Enrico Tassi (Feb 12 2024 at 21:07):

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

view this post on Zulip Jean-Philippe Chancelier (Feb 13 2024 at 06:57):

Thanks for pointing me these possibilities.

Last updated: Jun 23 2024 at 04:03 UTC