Re: [isabelle] open access journals in verification

Indeed, the AFP is not a journal in the traditional sense. Submissions are reviewed for Isabelle style but not for contents.


On 17/10/2017 09:51, Sebastiaan Joosten wrote:
There's Logical Methods in Computer Science which touches on verification, and of course our trusted AFP <> which you could argue may or may not be a journal.

On 17 Oct 2017, at 09:34, Gergely Buday <buday.gergely at> wrote:


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?

- Gergely

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.