Call for Papers on "The 2^6-th anniversary of Masami Hagiya: Twin special issues from New Generation Computing"

New Content Item (1)Programming should be the pivotal theme of research by Prof. Dr. Masami Hagiya. That is to say, he has been devoting himself to the quest for reasonable and understandable descriptions of algorithms that not only achieve their goals efficiently but are actually implementable. The implementability matters particularly in the use of unconventional media that have not been under satisfactory understanding and control of ourselves, such as molecules. In addition to significant research outcomes, he has also created, maintained, and improved various sorts of opportunities for succeeding generations through teaching, supervision, and venues for scientific publications. New Generation Computing (NGC) is one of such fruits of his commitment. It was established in 1983 in Japan and has been developing steadily as a venue for outstanding research articles from all over the world. As an editor-in-chief, he put NGC into a firm orbit of success, on which the journal is about to mark the fifth decade. He shall turn 26 in September 2021, and we wish to celebrate this anniversary by twin special issues on programming in-silico, in-vitro, and in-vivo from NGC.

The two special issues of NGC thus solicit papers on programming languages and molecular programming, respectively, according to the following common schedule:

Paper submission due   Aug. 1st, 2021
Author notiftcation   Nov. 1st, 2021
Revision Period   Mar. 1st, 2022
Publication   Jun. 2022

Manuscripts should be prepared according to the following guideline of NGC:
https://www.springer.com/journal/354/submission-guidelines

All papers must be submitted to the journal's submission system. During the submission stage, please select "Yes" for the question "Does this manuscript belong to a special feature?" in Additional Information tab, then select a special feature "S.I. : Programming and Reasoning" or "S.I. : Molecular Programming".

New Content Item (1)

All contributions will be subject to a rigorous peer-review process. We anticipate a bound of 25 pages on the length of the paper (in the standard LaTeX style of the NGC retrievable from the above link), but please contact us if more pages are needed.

Part 1 (Programming and Reasoning)

Guest Editor   Shin-ya Nishizaki (Tokyo Institute of Technology, Japan)

Scope   The following topics are especially welcome, but this part is broadly open to all aspects of program- ming and reasoning, including but not limited to them:

  • Programming language semantics
  • Lambda calculi and type theories
  • Process calculi
  • Logics of programs
  • Modal and temporal logics
  • Functional programming
  • Type systems
  • Concurrency and distributed computation
  • Program analysis
  • Program verification
  • Automated deduction
  • Theorem provers
  • Model checking
  • Theory and application of satisfiability testing (SAT and SMT solving)

Part 2 (Molecular Programming)

Guest Editor   Shinnosuke Seki (University of Electro-Communications, Japan)

Scope   The following topics are particularly welcomed, but this part is not limited to them but widely accepts every facet of molecular programming:

  • Artificial immune system
  • Cellular automata
  • Chemical reaction network
  • Computational systems biology
  • DNA origami
  • Evolutionary computation
  • Gellular automata
  • Membrane computing
  • RNA folding
  • Self-assembly
  • Swarm intelligence
  • Synthetic biology

Papers on DNA computing are also welcome, but mere applications of the Adleman’s original principle for solving an NP-hard problem in polynomial time shall not be given any serious consideration.

Contact   Shinnosuke Seki (University of Electro-Communications, Tokyo, Japan, s.seki@uec.ac.jp)