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:
Fri, 4 Jun 2010 19:59:23 -0400
text/plain (99 lines)

Please consider to contribute to and/or forward to the appropriate groups
the following opportunity to submit and publish original scientific

============== COMPUTATION TOOLS 2010 | Call for Papers ===============


COMPUTATION TOOLS 2010: The First International Conference on
Computational Logics, Algebras, Programming, Tools, and Benchmarking
November 21-26, 2010 - Lisbon, Portugal

General page:
Call for Papers:

Submission deadline: June 20, 2010

Sponsored by IARIA,
Extended versions of selected papers will be published in IARIA Journals:

Please note the Poster Forum 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 conform with the Editorial rules:

COMPUTATION TOOLS 2010 Tracks (tracks' 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

IARIA Publicity Board
Committee members:

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