COMPUTATION TOOLS 2022 - The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
April 24, 2022 - April 28, 2022
COMPUTATION TOOLS 2022
Onsite and Online Options: In order to accommodate a large number of situations, we are offering the option for either physical presence or virtual participation (pdf slides or pre-recorded videos).
ISSN: 2308-4170
ISBN: 978-1-61208-954-6
COMPUTATION TOOLS 2022 is colocated with the following events as part of ComputationWorld 2022 Congress:
- SERVICE COMPUTATION 2022, The Fourteenth International Conference on Advanced Service Computing
- CLOUD COMPUTING 2022, The Thirteenth International Conference on Cloud Computing, GRIDs, and Virtualization
- FUTURE COMPUTING 2022, The Fourteenth International Conference on Future Computational Technologies and Applications
- COGNITIVE 2022, The Fourteenth International Conference on Advanced Cognitive Technologies and Applications
- ADAPTIVE 2022, The Fourteenth International Conference on Adaptive and Self-Adaptive Systems and Applications
- CONTENT 2022, The Fourteenth International Conference on Creative Content Technologies
- PATTERNS 2022, The Fourteenth International Conference on Pervasive Patterns and Applications
- COMPUTATION TOOLS 2022, The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
- BUSTECH 2022, The Twelfth International Conference on Business Intelligence and Technology
COMPUTATION TOOLS 2022 Steering Committee
|
![](../images2/steering/cornel_klein.jpg) |
Cornel Klein
Siemens AG
Germany
|
|
![](../images2/steering/claus_peter_rueckemann.jpg) |
Claus-Peter Rückemann
Westfälische Wilhelms-Universität Münster (WWU) / DIMF / Leibniz Universität Hannover
Germany
|
COMPUTATION TOOLS 2022 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
Deadlines:
Submission | Jan 24, 2022 |
Notification | Feb 20, 2022 |
Registration | Mar 03, 2022 |
Camera ready | Mar 10, 2022 |
Deadlines differ for special tracks. Please consult the conference home page for special tracks Call for Papers (if any).