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.

Tobias

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 <https://www.isa-afp.org/> which you could argue may or may not be a journal.


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

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?

- Gergely



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



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