[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] New Orleans Proceedings - JAR Special Issue
Dear Josef:
We have established a new submission deadline
of August 31, 2011, for the proceedings
of the special session in New Orleans.
Rather than publishing strictly proceedings
of the session, we will publish a special issue
"Formal Mathematics for Mathematicians:
Developing Large Repositories of Advanced Mathematics"
in the Journal of Automated Reasoning (JAR).
We ask the authors not to exceed 12 pages.
Please submit your paper on-line to the
Journal of Automated Reasoning.
In the process of submitting, choose article type
"SI: Formal Mathematics for Mathematicians"
from a pull down menu.
Best regards,
Krystyna
Krystyna Kuperberg, Professor of Mathematics
Auburn University
kuperkm@auburn.edu
http://www.auburn.edu/~kuperkm