Submit a Paper

Propose a Workshop

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

COMPUTATION TOOLS 2011
September 25-30, 2011 - Rome, Italy


Technical Co-Sponsors and Logistics Supporters
   
ARCHIVE    
printer friendly
pdf version
printer friendly

Details:

Due to Easter holidays, we allow submissions until: May 14, 2011
Submission (full paper) April 20, 2011 May 14, 2011
Notification June 15 2011 June 18, 2011
Registration June 30, 2011
Camera ready June 30, 2011

ISBN: 978-1-61208-159-5

Published by XPS (Xpert Publishing Services)

Archived in the free access ThinkMindTM Digital Library

All publications will be submitted for indexing with:
- ISI Thompson Conference Proceedings Citation Index (CPCI)
- Elsevier's EI Compendex Database, EI’s Engineering Information Index
- DBLP, IET INSPEC, and other relevant specialized indexes.
- Other indexes are being considered

Authors of selected papers will be invited to submit extended versions to a IARIA Journal

All tracks/topics are open to both research and industry contributions.

Tracks:

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

 
 

Copyright (c) 2006-2010, IARIA