Logic List Mailing Archive

CfP: special issue of the Zapiski Nauchnykh Seminarov POMI in honour of the 90th birthday of N.A. Shanin

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@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.