[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
CfP: Mechanized Mathematics and Its Applications (fwd)
---------- Forwarded message ----------
Date: Thu, 03 Aug 2000 10:46:55 +0200
From: Mariusz Zynel <mariusz@math.uwb.edu.pl>
Reply-To: sum-forum@mizar.uwb.edu.pl
To: sum-forum@mizar.uwb.edu.pl
Subject: CfP: Mechanized Mathematics and Its Applications
"Pauline N. Kawamoto" <pauline@asuka.cs.shinshu-u.ac.jp> writes:
CALL FOR PAPERS
Mechanized Mathematics and Its Applications
(<http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2001.html>http://marku
n.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2001.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,
<http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/template_2.doc>sample
file)
and
submitted
by e-mail to:
mizar-jp@asuka.cs.shinshu-u.ac.jp
by October 31, 2000. Notification of acceptance will be mailed by
December 31, 2000.
Important Dates
Paper Submission Deadline: October 31, 2000
Notification of Acceptance: December 31, 2000
Publication: June 2001
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 500
380-8553 JAPAN
Telephone/FAX: +81-26-269-5591
E-mail: mizar-jp@asuka.cs.shinshu-u.ac.jp
--=====================_27846709==_.ALT
Content-Type: text/html; charset="us-ascii"
<html>
CALL FOR PAPERS <br>
Mechanized Mathematics and Its Applications <br>
(<a
href="http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2001.html";>http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/cfp_2001.html</a>)<br>
<br>
--------------------------------------------------------------------------------<br>
<br>
Scope <br>
<br>
Mechanized Mathematics and Its Applications (ISSN 1345-8272) <br>
invites papers representing original, previously unpublished work <br>
discussing the interpretation and/or application of results of <br>
articles verified by the Mizar proof-checking system. The papers <br>
will complement Mizar articles by providing expositions of the <br>
usefulness of the results, insights, broad developments, or specific
<br>
applications of the propositions. <br>
<br>
Submission of Papers <br>
<br>
Papers submitted for review should present a clear and concise <br>
view of the motivation of the work, give an outline of the paper, <br>
and must include a list of references containing at least one Mizar
<br>
article which serves as the basis of the paper. All papers must be <br>
written in English and a separate page should be provided to <br>
indicate the following information: title; authors and affiliations;
<br>
address, e-mail and telephone/fax number of the primary author; <br>
a descriptive abstract of 200 words or less; and a maximum of five <br>
keywords describing the work. Papers should be in MS-Word format <br>
(V5.0 or later, 8 pages maximum, A4 size,
<a
href="http://markun.cs.shinshu-u.ac.jp/mizar/amu.dir/template_2.doc";>sample
file</a>) and submitted <br>
by e-mail to: <br>
<br>
mizar-jp@asuka.cs.shinshu-u.ac.jp <br>
<br>
by October 31, 2000. Notification of acceptance will be mailed by <br>
December 31, 2000. <br>
<br>
Important Dates<br>
<br>
Paper Submission Deadline: October 31, 2000 <br>
Notification of Acceptance: December 31, 2000 <br>
Publication:
June 2001 <br>
<br>
For further information, please contact: <br>
<br>
Mizar JAPAN <br>
Shinshu University, Faculty of Engineering <br>
Department of Information Engineering <br>
c/o Pauline N. Kawamoto <br>
Nagano-ken Nagano-shi Wakasato 500 <br>
380-8553 JAPAN <br>
Telephone/FAX: +81-26-269-5591 <br>
E-mail: mizar-jp@asuka.cs.shinshu-u.ac.jp <br>
</html>
--=====================_27846709==_.ALT--