The 2^6-th anniversary of Masami Hagiya: Twin special issues from New Generation Computing
in Special Issue Posted on December 30, 2020Information for the Special Issue
Submission Deadline: | Thu 01 Jul 2021 |
Journal Impact Factor : | 0.889 |
Journal Name : | New Generation Computing |
Journal Publisher: |
![]() |
Website for the Special Issue: | https://www.springer.com/journal/354/updates/18710564 |
Journal & Submission Website: | https://www.springer.com/journal/354 |
Special Issue Call for Papers:
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 July 1st, 2021Author notiftcation Oct. 1st, 2021Revision Period Feb. 1st, 2022Publication May 2022
Manuscripts should be prepared according to the following guideline of NGC:https://www.springer.com/journal/354/submission-guidelines
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)
Closed Special Issues
![]() |
|
AI in Global EpidemicsNew Generation Computing |
Sun 20 Dec 2020 |
![]() |
|
Card-based CryptographyNew Generation Computing |
Sun 10 May 2020 |
![]() |
|
Computational CreativityNew Generation Computing |
Sat 21 Mar 2020 |