[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
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

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


         Subseries:  Studies in Constructive Mathematics
                        and Mathematical Logic.
                             Issue XII


  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.

  Submissions can be made either in English or in Russian.

  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

  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