[FOM] FW: N.A. Shanin - 90. Call for papers
Kreinovich, Vladik
vladik at utep.edu
Mon Oct 20 14:05:14 EDT 2008
Forwarding. Vladik
From: Vladimir P. Orevkov [mailto:orevkov at pdmi.ras.ru]
Sorry for possible cross-posting
Dear Academic Community,
In May 2009 Nikolai Alexandrovich SHANIN will be 90. In addition
to his outstanding scientific achievements, Nikolai Alexandrovich
SHANIN was one of the founders of the Russian school of
constructivism. In 1961 Shanin organized a group of mathematical logic
at the Leningrad Branch of the Mathematical Institute. The group
created the first computer program of producing natural deductions
which would be as close as possible to a form easily perceived by a
human. Ideas proposed by Shanin stimulated further progress in
automated deduction and proof theory in general.
We decided to devote the next issue of the journal "Zapiski
Nauchnykh
Seminarov POMI" ("Notes of Mathematical Seminars of St.Petersburg
Department of V.A.Steklov Institute of Mathematics") to Nikolai
Alexandrovich SHANIN. Please find the call for papers below. We
will be grateful if you distribute this call for papers among your
colleagues.
The deadline is set to April 26, 2009.
****** If you are unable to meet the deadline
****** but strongly wish to contribute,
please communicate a more appropriate date and an abstract to
the editor at the addresses listed below. We have a tight
schedule for the publication process (see below).
Faithfully yours,
Vladimir Orevkov
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
CALL FOR PAPERS
Notes of Mathematical Seminars
of St.Petersburg Department of V.A.Steklov Institute of Mathematics
http://www.pdmi.ras.ru/znsl/index.html
Subseries: Studies in Constructive Mathematics
and Mathematical Logic.
Issue XII
TOPICS.
Papers (either describing an original research or surveying a topic)
are solicited in all areas related to the interests of
Nikolai Alexandrovich SHANIN. They include (but not limited to)
the automatic deduction and foundations of mathematics, especially
constructive trends in mathematics.
LANGUAGES.
Submissions can be made either in English or in Russian.
TRANSLATION AND PUBLICATION.
The issue containing the original papers will appear in the printed
form as well as on the Web. English translations (or original papers,
for papers submitted in English) will later appear in Journal of
Mathematical Sciences published by Springer.
SUBMISSION and other contacts.
Please send your Postscript or PDF file to the editor
Vladimir Orevkov orevkov at pdmi.ras.ru
IMPORTANT DATES.
Submission: by April 26, 2009.
First referee reports: July-August 2009.
Revised (final) version if needed: August-September 2009.
Final decision: October 2009.
Publication: November 2009.
More information about the FOM
mailing list