Re: [isabelle] Journal of Automated Reasoning

I'd like to point out that at least part of Springer's recent open-access enlightenment is a response to the increasing number of *real* open access journals. I have recently been involved in the startup of one of them, the Journal of Logic and Analysis:

We used the Public Knowledge Project's Open Journal Software:

Publishers like Springer still make a lot of money bundling their offerings together and selling them to university libraries, which have no choice but to pay the high prices. Going the real open access route means having no revenue stream to support things like proofreading and typesetting, but in the long run I think it is better for the academic community, which currently does almost all the work and then makes the libraries pay for it.

This is not to speak against the JAR, which is quite a good journal. But if you don't submit there, I recommend considering an open access alternative. Logical Methods in Computer Science is another good one:

I apologize that this has taken us far afield of Isabelle, but I wanted to respond to Larry's message.


Lawrence Paulson wrote:
A journal cannot have a high impact unless it promotes the widest possible dissemination of the results. Most publishers that I am familiar with, including Springer, allow authors to publish their material on their own webpages. If you look at my webpage (, you will see that practically everything that I've published is freely downloadable, and no publisher has objected to this. Recently they have recognised this de facto situation in their copyright agreements, which typically allow what they call self archiving provided a link is included to the official version.
Springer also gives authors a PDF of the version typeset by their editorial staff (and their input is significant, as I have seen in my role as editor of the ITP proceedings). Springer also agreed to our making the Isabelle manual freely downloadable at the same time as they published the book version, and they agreed to our making the proceedings (prior to their editing) of all the FLoC conferences freely available on memory sticks, even though this directly competed with their own rather expensive proceedings-on-memory-stick product. Finally, on payment of a fee you can opt into the “author pays” model (nothing I would consider) and retain complete control over even the final typeset version. You will find more information here:

Larry Paulson

On 2 Jul 2010, at 06:39, Timothy McKenzie wrote:

On Thu, 01 Jul 2010 22:13:09 Lawrence Paulson wrote:
I hope that all of you who have done high quality work will
submit it to JAR.
If I had high quality work to submit, I'd want to know that the journal I was submitting it to wouldn't use copyright law to inhibit the distribution of my work, reducing its potential audience.

In the past, because of my health, I've spent some time between enrolments at universities, during which time I didn't have access to any institutional subscriptions. I was stymied by the prices many journals charged for access even to single articles (before I knew whether they'd be interesting or not).

These prices seemed particularly absurd when I considered that the marginal cost of a digital copy of an article is zero. And in many cases it was hard to see what the fixed costs were, either. Were the authors of the articles paid? Were the peer-reviewers paid? Any suggestion that the money was needed for quality control was called into doubt by the Chaos, Solitons & Fractals controversy (but to be fair, that journal is owned by Elsevier, not Springer).

So, is JAR the kind of journal I'd object to? Does it use copyright law to inhibit the dissemination of knowledge? If so, why? Does it pay the authors of its articles? Does it pay its peer reviewers?

The only reason I'm making an example of JAR is because it was advertised on this list; its high impact factor was mentioned, but the features I care more about were not.


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