[isabelle] Call for Papers [Reminder]: JAR Special Issue on User Interfaces for Theorem Proving.

[Apologies for multiple copies. Note deadline has been moved back a bit. --cxl]

    		    Call for Papers [Reminder]

                  Journal of Automated Reasoning
       Special Issue on User Interfaces for Theorem Proving

We invite submission of articles describing work on interfaces for
reasoning tools. Papers should address any aspect of the design,
implementation and evaluation of interfaces for theorem proving
systems considered in a general sense. For more information, see the
website at


The revised deadline for final versions is

		       February 1st 2006.

David Aspinall, Christoph Lüth.
 Guest Editors.
Deepak Kapur.
 Journal of Automated Reasoning

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