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 or LaTeX format (8 pages maximum, A4 size, MS-Word sample file) and submitted by e-mail to:

Important Dates

Paper Submission Deadline:	June 30, 2009
Notification of Acceptance:	August 15, 2009
Publication:	October 2009

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