CfP: Mechanized Mathematics and Its Applications (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Mon, 20 Aug 2001 10:42:41 +0900
From: Mizar JAPAN <mizar-jp@asuka.cs.shinshu-u.ac.jp>
To: mizar-forum@mizar.uwb.edu.pl
Cc: pauline@asuka.cs.shinshu-u.ac.jp
Subject: CfP:  Mechanized Mathematics and Its Applications

CALL FOR PAPERS
Mechanized Mathematics and Its Applications
(<http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2002.html>http://marku
n.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2002.html)

----------------------------------------------------------------------------
----

Scope

Mechanized Mathematics and Its Applications (ISSN 1345-8272)
invites papers representing original, previously unpublished work
discussing the interpretation and/or application of results of
articles verified by the Mizar proof-checking system. The papers
will complement Mizar articles by providing expositions of the
usefulness of the results, insights, broad developments, or specific
applications of the propositions.

Submission of Papers

Papers submitted for review should present a clear and concise
view of the motivation of the work, give an outline of the paper,
and must include a list of references containing at least one Mizar
article which serves as the basis of the paper. All papers must be
written in English and a separate page should be provided to
indicate the following information: title; authors and affiliations;
address, e-mail and telephone/fax number of the primary author;
a descriptive abstract of 200 words or less; and a maximum of five
keywords describing the work. Papers should be in MS-Word format
(V5.0 or later, 8 pages maximum, A4 size, sample file) and submitted
by e-mail to:

     mizar-jp@asuka.cs.shinshu-u.ac.jp

by October 1, 2001.

Important Dates

   Paper Submission Deadline:  October 1, 2001
   Notification of Acceptance:  December 31, 2001
   Publication:                        June 2002

For further information, please contact:

   Mizar JAPAN
   Shinshu University, Faculty of Engineering
   Department of Information Engineering
   c/o Pauline N. Kawamoto
   Nagano-ken Nagano-shi Wakasato 4-17-1
   380-8553 JAPAN
   Telephone/FAX:  +81-26-269-5591
   E-mail:  mizar-jp@asuka.cs.shinshu-u.ac.jp