Re: [isabelle] Journal of Automated Reasoning

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.
> Tim
> <><

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