CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

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
Subject:
From:
Reply To:
Date:
Fri, 4 Jun 2010 19:59:23 -0400
Content-Type:
text/plain
Parts/Attachments:
text/plain (99 lines)
INVITATION:

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


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

CALL FOR PAPERS, TUTORIALS, PANELS

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

General page: http://www.iaria.org/conferences2010/COMPUTATIONTOOLS10.html
Call for Papers:
http://www.iaria.org/conferences2010/CfPCOMPUTATIONTOOLS10.html

Submission deadline: June 20, 2010

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 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:
http://www.iaria.org/editorialrules.html


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

==========
IARIA Publicity Board
Committee members:
http://www.iaria.org/conferences2010/ComCOMPUTATIONTOOLS10.html
===================

    ---------------------------------------------------------------
                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see http://sigchi.org/listserv
    ---------------------------------------------------------------

ATOM RSS1 RSS2