ACM SIGCHI General Interest Announcements (Mailing List)


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Reply To:
Thu, 23 Feb 2012 14:03:27 -0500
text/plain (118 lines)


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:


============== COMPUTATION TOOLS 2012 | Call for Papers ===============


COMPUTATION TOOLS 2012, The Third International Conference on
Computational Logics, Algebras, Programming, Tools, and Benchmarking

July 22-27, 2012 - Nice, France

General page:

Call for Papers:

- regular papers

- short papers (work in progress)

- posters

Submission page:

Submission deadline: March 16, 2012

Sponsored by IARIA,

Extended versions of selected papers will be published in IARIA

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:

COMPUTATION TOOLS 2012 Topics (topics and submission details: see CfP on
the site)

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


                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see