INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate
groups the following opportunity to submit and publish original
scientific results to COMPUTATION TOOLS 2012.
The submission deadline is set to March 16, 2012.
In addition, authors of selected papers will be invited to submit
extended article versions to one of the IARIA Journals:
http://www.iariajournals.org
=================
============== COMPUTATION TOOLS 2012 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
COMPUTATION TOOLS 2012, The Third International Conference on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
July 22-27, 2012 - Nice, France
General page: http://www.iaria.org/conferences2012/COMPUTATIONTOOLS12.html
Call for Papers:
http://www.iaria.org/conferences2012/CfPCOMPUTATIONTOOLS12.html
- regular papers
- short papers (work in progress)
- posters
Submission page:
http://www.iaria.org/conferences2012/SubmitCOMPUTATIONTOOLS12.html
Submission deadline: March 16, 2012
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA
Journals: http://www.iariajournals.org
Please note the Poster and Work in Progress options.
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.
All tracks are open to both research and industry contributions, in
terms of Regular papers, Posters, Work in progress,
Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules:
http://www.iaria.org/editorialrules.html
COMPUTATION TOOLS 2012 Topics (topics and submission details: see CfP on
the site)
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
--------------------------------
Committee: http://www.iaria.org/conferences2012/ComCOMPUTATIONTOOLS12.html
====================
---------------------------------------------------------------
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://listserv.acm.org
---------------------------------------------------------------
|