土木構造工学研究室

Call for Papers - FINAL DEADLINE July 5, 2010

---------------------
SYNASC 2010

12th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 23-26, 2010, Timisoara, Romania
http://synasc10.info.uvt.ro/

Aim:
-----
SYNASC aims to stimulate the interaction between the two scientific
communities of symbolic and numeric computing, with the purpose of
exhibiting interesting applications of these areas both in theory
and in practice. The choice of this topic is motivated by the belief
of the organizers that  the dialogue  between the two communities
is very necessary in order to make significant progress in  making
the computer a truly intelligent aid for mathematicians and engineers.

Important dates:
-----------------
FINAL DEADLINE July 5, 2010     : PAPERS SUBMISSION
August 15, 2010                 : Notification of acceptance
September 1, 2010               : Registration
September 8, 2010               : Revised papers according to the reviews
September 23-26, 2010           : Symposium period
November 30, 2010               : Final papers for post-proceedings

Topics of interests:
-------------------
Symposium tracks:
   * Symbolic Computation
       + computer algebra;
       + symbolic techniques applied to numerics;
       + hybrid symbolic and numeric algorithms;
       + numerics and symbolics for geometry;
       + programming with constraints, narrowing.

   * Logic and programming
       + automatic reasoning;
       + formal system verification;
       + formal verification and synthesis;
       + software quality assessment;
       + static analysis;
       + timing analysis.

   * Artificial Intelligence
       + hard computational problem solving;
       + intelligent systems (front-ends) for scientific computing;
       + agent-based complex problem solving;
       + knowledge and data intensive systems;
       + soft computing;
       + recommender systems for scientific computing;
       + data mining and web mining;
       + information retrieval;
       + hibrid systems.

   * Numerical computing
       + iterative approximation of fixed points;
       + solving systems of nonlinear equations;
       + numerical and symbolic algorithms for differential equations;
       + numerical and symbolic algorithms for optimization;
       + parallel algorithms for numeric computing;
       + scientific visualization and image processing.

   * Distributed computing
       + parallel, distributed and web computing for symbolics and numerics;
       + cloud computing
       + grid middleware and applications;
       + agent-based grid computing;
       + grid services;
       + workflow management.

This list is not intended to be exhaustive.

Symposium special sessions

   * Advances in the Theory of Computing
       + data structures, algorithms and combinatorial optimization
       + graphs and combinatorics in computer science
       + models of computational complexity
       + logical approaches to complexity
       + new computational paradigms
       + automata theory and other formal models

   * Global Computing Models and Technologies
       + coordination and orchestration languages
       + mobility, computation in networks with dynamic topology
       + process algebra and calculi, interactive programming languages
       + formal verification in global computing, spatio-temporal logics
       + context awareness and security in distributed environment
       + service oriented computing and related formalisms
       + membrane computing as model of distributed systems

   * Software Services: Frameworks
       + frameworks for software services
       + platforms for software services
       + service oriented computing
       + cloud computing
       + software service life-cycle
       + dynamic discovery, matching and composition of services
       + formation and management of virtual organisations
       + service-based autonomic computing

Workshops:

   * Workshop on Agents for Complex Systems
       + Multi-agent systems for modeling and simulation
       + Agent oriented software design and methodology
       + Performance analysis/modeling of multi-agent systems
       + Task-based agent context and task-oriented agents
       + Multi-agent systems in high-performance processing
       + Agents and multi-agent systems for Grid Computing
       + Recommendation agents for scientific problem solving
       + Distributed knowledge integration and sharing for scientific
         applications
       + Agent based resource and service discovery
       + Agents and emergent behavior
       + Agent-based distributed problem solving
       + Learning in multi-agent systems

   * Workshop on Natural Computing and Applications
       + evolutionary computing
       + neural computing, Bayesian networks, learning algorithms
       + membrane computing
       + DNA computing
       + molecular computing
       + information processing in cells and tissues
       + quantum computing
       + immunocomputing

Publication:
------------
The research papers accepted for the conference tracks and special sesions
will be collected as post-proceedings published by IEEE Computer Science
Conference Publishing Service (CSP) (ISI Proceedings). For previous proceedings
see http://ieeexplore.ieee.org.

The workshops have their own post-proceeding publications.

Symposium Chairs: