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:
Thu, 9 Feb 2012 18:56:52 -0500
Content-Type:
text/plain
Parts/Attachments:
text/plain (117 lines)
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 5, 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 5, 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
    ---------------------------------------------------------------

ATOM RSS1 RSS2