Dear Colleagues and Contributors,

we are very happy to welcome new contributions for the next
COMPUTATION TOOLS' events, coming to Nice, France, in 2020!

Please consider to contribute to The Eleventh International Conference
on Computational Logics, Algebras, Programming, Tools, and Benchmarking
(COMPUTATION TOOLS 2020) and events and/or forward to your colleagues
and to the appropriate groups.

For general conference page, Call for Papers, and submission please see:

  http://www.user.uni-hannover.de/cpr/x/rwerkr/en/#2020COMPUTATIONTOOLS


Regular SUBMISSION DEADLINE is January 12, 2020
BUT CAN BE EXTENDED ON REQUEST!
Please see the "Contact" address right on top of the conference page!


Wish you all the best with your research and beyond!

Looking forward to your contributions and hopefully seeing you in Nice!

Kind regards,
Dr. Claus-Peter Rueckemann
COMPUTATION TOOLS Steering Committee


========================================================================

               The Eleventh International Conference on
              Computational Logics, Algebras, Programming,
                     Tools, and Benchmarking

                      COMPUTATION TOOLS 2020

            April 26, 2020 to April 30, 2020 - Nice, France

========================================================================

ISSN: 2308-4170
ISBN: 978-1-61208-784-9 
For general conference page, Call for Papers, and submission please see:
http://www.user.uni-hannover.de/cpr/x/rwerkr/en/#2020COMPUTATIONTOOLS


Regular SUBMISSION DEADLINE is January 12, 2020
but can be extended on request!
Please see the "Contact" address right on top of the conference page!


COMPUTATION TOOLS 2020 Call for Papers
--------------------------------------

The advent of advanced computing embracing various forms of computational
intelligence, large-scale strategies, and technology-oriented approaches relays
on fundamental achievements in systems and feature specification,
domain-oriented programming and deployment platforms and benchmarking.

COMPUTATION TOOLS 2020 continues an event under the umbrella of
ComputationWorld 2020 dealing with logics, algebras, advanced computation
techniques, specialized programming languages, and tools for distributed
computation. Mainly, the event targets those aspects supporting
context-oriented systems, adaptive systems, service computing, patterns and
content-oriented features, temporal and ubiquitous aspects, and many facets of
computational benchmarking.

We solicit both academic, research, and industrial contributions. We welcome
technical papers presenting research and practical results, position papers
addressing the pros and cons of specific proposals, such as those being
discussed in the standard fora or in industry consortia, survey papers
addressing the key problems and solutions on any of the above topics short
papers on work in progress, and panel proposals.

Industrial presentations are not subject to the format and content constraints
of regular submissions. We expect short and long presentations that express
industrial position and status.

Tutorials on specific related topics and panels on challenging areas are
encouraged.

The topics suggested by the conference can be discussed in term of concepts,
state of the art, research, standards, implementations, running experiments,
applications, and industrial case studies. Authors are invited to submit
complete unpublished papers, which are not under review in any other conference
or journal in the following, but not limited to, topic areas.


COMPUTATION TOOLS 2020 conference tracks
----------------------------------------

* Trends on computation

Assertion-based analysis; Conditional transformation systems; Generalized
learned constraints; Constraint propagation; Stable-unstable semantics;
Abstract compilation; Semantic code browsing; Pointer analysis;Minimal
entailment; Infinitary formulas; Static profiling of parametric resource usage;
Rewriting optimization statements; Algebraic effect handlers; Non-ground rules;
Resource-based answer set semantics; Local domain symmetry; Knowledge patterns;
Knowledge representation; Grounded fixpoints; Supersafe rules; Qualitative
spatio-temporal reasoning; Reasoning about truthfulness; Cause-effect
relations; Higher-order logics; Models expansion; Optimal stable models;
Intelligent instantiations; Answer set programming; Non-monotonic cause-effect
relations; Paraconsistency; Active integrity constraints

* Logics

Reasoning logics; Fuzzy logics; Semantic logics; Temporal logics; Emotion
logics; Ambiant logics; Modal logics; Description logics; Computational tree
logic; Computational logics and constraints; Quantum computational logics;
Executable computational logics; Monadic computational logics; Many-valued
computational logics; Computability logic

* Algebras

Computational algebras; K-theories, C*-algebras, Index theory; Algebraic and
topological K-theory; Geometric group theory and group C*-algebras;
Noncommutative geometry and topology; Pseudodifferential operators on singular
manifolds; Topological invariants of non-simply connected manifolds;
Deformation quantization; Lambda calculus; Relation algebra; Algebras for
symbolic computation; Constructive algebras

* Advanced computation techniques

Machine learning; Fuzzy theory/computation/logic; (Artificial) neuronal
networks; Distributed artificial intelligence; Genetic algorithms; Analytic
tableaux; Autonomous agent-based techniques; Knowledge-based systems and
automated reasoning; Logical issues in knowledge representation /non-monotonic
reasoning/belief; Dempster-Shafer theory; Concurrent computation and planning;
Deduction and reasoning

* Specialized programming languages

Logic programming; Specialized computation languages; Real-time computation
languages; Embedded-computing languages; Programming semantics; Content-driven
programming; Multimedia-oriented programming; Context-driven programming;
Service-oriented programming; Pattern-oriented programming; Regenerative
programming; Progressive programming; Sensing-oriented programming;
Mobile-ubiquity-oriented computing; Compilation issues

* Tools for distributed computation

Platforms for distributed computing; Specification and verification of programs
and systems; Techniques for cloud computing; On-request resource allocation
mechanisms; Security and privacy techniques; Computational benchmarking
metrics, criteria and methodologies; Distributed debug and on-fly repairing;
Inference of schemas, integrity constraints in computational applications;
Real-world applications, experiments, projects

COMPUTATION TOOLS 2020 Steering Committee
-----------------------------------------

* Cornel Klein, Siemens AG, Germany

* Claus-Peter Rückemann, Westfälische Wilhelms-Universität Münster
  (WWU) / DIMF / Leibniz Universität Hannover, Germany

========================================================================