New Orleans Proceedings - JAR Special Issue

"Krystyna Kuperberg" <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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
[email protected]
http://www.auburn.edu/~kuperkm
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.