Join ARMACAD today

Join over 40,000 researchers and students.

Subscribe and get new academic opportunities every week.

Conf/CfP - Computational Logics, Algebras, Programming, Tools and Benchmarking, Rome, Italy, 20 - 24 March 2016


November 03, 2015


Event Date:

March 20, 2016 - March 24, 2016

Save in my favorites

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


March 20 - 24, 2016 - Rome, Italy



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


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


- regular papers [in the proceedings, digital library]

- short papers (work in progress) [in the proceedings, digital library]

- ideas: two pages [in the proceedings, digital library]

- extended abstracts: two pages [in the proceedings, digital library]

- posters: two pages [in the proceedings, digital library]

- posters:  slide only [slide-deck posted at]

- presentations: slide only [slide-deck posted at]

- demos: two pages [posted at]

- doctoral forum submissions: [in the proceedings, digital library]

Proposals for:

- mini symposia: see

- workshops: see

- tutorials:  [slide-deck posed on]

- panels: [slide-deck posed on]

Call for Papers:

Subscribe to our newsletter

and receive information about international academic and professional opportunities

scholarships, summer schools, conferences, grants, fellowships, trainings

Similar Announcements

No results found.