Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Deadline extension: AMAI Special Issue on Symb...


view this post on Zulip Email Gateway (May 25 2022 at 12:19):

From: Temur Kutsia <kutsia@risc.jku.at>
Due to requests, the submission deadline for the special issue of the
Annals of Mathematics and Artificial Intelligence (AMAI) on Symbolic
Computation in Software Science has been extended to

June 13, 2022.


Call for submissions

Annals of Mathematics and Artificial Intelligence
Special Issue 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.

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 June 13, 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)


Last updated: Jul 15 2022 at 23:21 UTC