Re: [isabelle] open access journals in verification
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.
> On 17 Oct 2017, at 08:34, Gergely Buday <buday.gergely at uni-eszterhazy.hu> 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and