[Publicity] CfP: AMAI Special Issue on Symbolic Computation in Software Science

[Tanja Gutenbrunner]

Call for submissions

Annals of Mathematics and Artificial Intelligence
Special Issue on on Symbolic Computation in Software Science  --
In the Era of Computational and Artificial Intelligence

https://www.risc.jku.at/people/tkutsia/organization/amai-scss.html
------------------------------------------------------------------

SCOPE
--------
In 2020, Annals of Mathematics and Artificial Intelligence (AMAI) 
celebrated its 30th anniversary. Over the years, the journal has 
promoted better understanding of the application of quantitative, 
combinatorial, logical, algebraic and algorithmic methods to artificial 
intelligence areas as diverse as decision support, automated deduction, 
reasoning, knowledge-based systems, machine learning, computer vision, 
robotics and planning. AMAI special issues are intended to be 
collections of original research papers reflecting the intersection of 
mathematics and a focused discipline demonstrating how each has 
contributed greatly to the other. A further goal of the journal is to 
close the gaps between the fields even further. Papers should report on 
current research in the appropriate areas, as well as more retrospective 
papers in which progress has been ongoing over a period of time.

------
Research Institute for Symbolic Computation
Johannes Kepler University Linz, Austria
Email: kutsia at risc.jku.at
WWW: http://www.risc.jku.at/people/tkutsia

The purpose of this special issue of AMAI is to promote research on 
theoretical and practical aspects of symbolic computation in software 
science, combined with recent artificial intelligence techniques. 
Symbolic Computation is the science of computing with symbolic objects 
(terms, formulae, programs, representations of algebraic objects etc.). 
Powerful algorithms have been developed during the past decades for the 
major subareas of symbolic computation: computer algebra and 
computational logic. These algorithms and methods are successfully 
applied in various fields, including software science, which covers a 
broad range of topics about software construction and analysis. 
Meanwhile, artificial intelligence methods and machine learning 
algorithms are widely used nowadays in various domains and, in 
particular, combined with symbolic computation. Several approaches mix 
artificial intelligence and symbolic methods and tools deployed over 
large corpora to create what is known as cognitive systems. Cognitive 
computing focuses on building systems which interact with humans 
naturally by reasoning, aiming at learning at scale.

The special issue is related to the topics of the The 9th International 
Symposium on Symbolic Computation in Software Science - SCSS 2021. 
Participants of the symposium, as well as other authors are invited to 
submit contributions.


TOPICS
-------------------
This special issue focuses on advanced results on the topics that 
include, but are not limited to, the following:

   - software science-relevant applications of
       * automated reasoning, knowledge reasoning, common-sense 
reasoning, reasoning in science
       * combinations of linguistic/learning-based and 
semantic/reasoning methods
       * algebras, co-algebras, categories, proof theory, model theory
       *  artificial intelligence and machine learning methods
   - algorithm (program) analysis, synthesis, verification
   - extraction of specifications from algorithms (programs)
   - algorithm (program) transformation
   - formal methods for network and system security
   - programming models
   - formalization and computerization of knowledge; large-scale 
computer understanding of mathematics and science
   - alignment and joint processing of formal, semi-formal, and informal 
libraries
   - formal verification of artificial intelligence and machine learning 
algorithms, explainable artificial intelligence, symbolic artificial 
intelligence
   - cognitive computing, cognitive vision, perception systems and 
artificial reasoners for robotics
   - computational origami


SUBMISSION
-----------
This special issue welcomes original high-quality contributions that 
have been neither published in nor simultaneously submitted to any 
journals or refereed conferences. Submissions will be peer-reviewed 
using the standard refereeing procedure of the Annals of Mathematics and 
Artificial Intelligence.

Submitted papers must be in English, prepared in LaTeX according to the 
guidelines of the journal:
https://www.springer.com/journal/10472/submission-guidelines.

PDF versions of papers should be uploaded at the submission page

   https://www.editorialmanager.com/amai

   by May 23, 2022.

Please choose S710: SCSS - Symbolic Computation in Software Science when 
you will be selecting the article type.


GUEST EDITORS
--------------------
Adel Bouhoula (Arabian Gulf University, Bahrain)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Tetsuo Ida (University of Tsukuba, Japan)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)


--------------------------------------
If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secretary at risc.jku.at
-------------- next part --------------
Call for submissions

Annals of Mathematics and Artificial Intelligence
Special Issue on on Symbolic Computation in Software Science  --
In the Era of Computational and Artificial Intelligence

https://www.risc.jku.at/people/tkutsia/organization/amai-scss.html
------------------------------------------------------------------

SCOPE
--------
In 2020, Annals of Mathematics and Artificial Intelligence (AMAI) celebrated its 30th anniversary. Over the years, the journal has promoted better understanding of the application of quantitative, combinatorial, logical, algebraic and algorithmic methods to artificial intelligence areas as diverse as decision support, automated deduction, reasoning, knowledge-based systems, machine learning, computer vision, robotics and planning. AMAI special issues are intended to be collections of original research papers reflecting the intersection of mathematics and a focused discipline demonstrating how each has contributed greatly to the other. A further goal of the journal is to close the gaps between the fields even further. Papers should report on current research in the appropriate areas, as well as more retrospective papers in which progress has been ongoing over a period of time.

-- 
Research Institute for Symbolic Computation 
Johannes Kepler University Linz, Austria
Email: kutsia at risc.jku.at
WWW: http://www.risc.jku.at/people/tkutsia

The purpose of this special issue of AMAI is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with recent artificial intelligence techniques. Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. These algorithms and methods are successfully applied in various fields, including software science, which covers a broad range of topics about software construction and analysis. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.

The special issue is related to the topics of the The 9th International Symposium on Symbolic Computation in Software Science - SCSS 2021. Participants of the symposium, as well as other authors are invited to submit contributions.


TOPICS
-------------------
This special issue focuses on advanced results on the topics that include, but are not limited to, the following:

  - software science-relevant applications of
      * automated reasoning, knowledge reasoning, common-sense reasoning, reasoning in science
      * combinations of linguistic/learning-based and semantic/reasoning methods
      * algebras, co-algebras, categories, proof theory, model theory
      *  artificial intelligence and machine learning methods
  - algorithm (program) analysis, synthesis, verification
  - extraction of specifications from algorithms (programs)
  - algorithm (program) transformation
  - formal methods for network and system security
  - programming models
  - formalization and computerization of knowledge; large-scale computer understanding of mathematics and science
  - alignment and joint processing of formal, semi-formal, and informal libraries
  - formal verification of artificial intelligence and machine learning algorithms, explainable artificial intelligence, symbolic artificial intelligence
  - cognitive computing, cognitive vision, perception systems and artificial reasoners for robotics
  - computational origami


SUBMISSION
-----------
This special issue welcomes original high-quality contributions that have been neither published in nor simultaneously submitted to any journals or refereed conferences. Submissions will be peer-reviewed using the standard refereeing procedure of the Annals of Mathematics and Artificial Intelligence.

Submitted papers must be in English, prepared in LaTeX according to the guidelines of the journal:
https://www.springer.com/journal/10472/submission-guidelines.

PDF versions of papers should be uploaded at the submission page 

  https://www.editorialmanager.com/amai 

  by May 23, 2022.

Please choose S710: SCSS - Symbolic Computation in Software Science when you will be selecting the article type.


GUEST EDITORS
--------------------
Adel Bouhoula (Arabian Gulf University, Bahrain)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Tetsuo Ida (University of Tsukuba, Japan)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)