Email Gateway (Aug 22 2022 at 16:17): Email Gateway (Aug 22 2022 at 16:17):From: Gergely Buday <buday.gergely@uni-eszterhazy.hu>
Hi,
I am looking for journals that allow open access -- in the area of
verification.
Journal of Formalized Reasoning is such a one.
Journal of Automated Reasoning has a 2200 € open access fee.
What are other venues for this purpose?
Email Gateway (Aug 22 2022 at 16:17):From: Sebastiaan Joosten <sjcjoosten@gmail.com>
There's Logical Methods in Computer Science which touches on verification, and of course our trusted AFP <https://www.isa-afp.org/> which you could argue may or may not be a journal.
Email Gateway (Aug 22 2022 at 16:17):From: Tobias Nipkow <nipkow@in.tum.de>
Indeed, the AFP is not a journal in the traditional sense. Submissions are
reviewed for Isabelle style but not for contents.
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 16:17):From: Lawrence Paulson <lp15@cam.ac.uk>
Hi Gergely,
Every journal that I know of allows you to put the final version of your accepted manuscript on your personal webpage provided it is accompanied by a link to the “official” version. ACM journals allow you to put the official link in any one place where it will be freely readable to all.
I am quite against page charges in principle, as they discriminate against all work that is not sponsored.
Larry
Last updated: Apr 20 2024 at 08:16 UTC