posted by user: smwatt || 2192 views || tracked by 1 users: [display]

SYNASC 2010 : 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing


Conference Series : Symbolic and Numeric Algorithms for Scientific Computing
When Sep 23, 2010 - Sep 26, 2010
Where Timisoara, Romania
Submission Deadline May 30, 2010
Notification Due Aug 15, 2010
Final Version Due Sep 8, 2010

Call For Papers

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:

15 March 2010 : Special sessions / Workshops / Tutorials proposals
30 May 2010 : Paper submission
15 August 2010 : Notification of acceptance
01 September 2010 : Registration
08 September 2010 : Revised papers according to the reviews
23-26 September 2010 : Symposium period
30 November 2010 : Final papers for post-proceedings

Topics of interests:

* 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 systems modeling and development;
+ knowledge and data intensive systems;
+ soft computing;
+ recommender systems for scientific computing;
+ data mining and web mining;
+ information retrieval.

* 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.


The research papers accepted for the conference will be collected as post-proceedings published by IEEE Computer Society Press (ISI Proceedings). (For previous proceedings see

Related Resources

SYNASC 2020   22th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ACM-ACAI 2020-Ei/Scopus 2020   2020 3rd International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2020)
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
FILA 2020   IEEE International Workshop on Fair and Interpretable Learning Algorithms
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
ACM-AMLSP 2020-Ei/Scopus 2020   2020 2nd International Conference on Algorithms, Machine Learning and Signal Processing (AMLSP 2020)
CCBD--Ei & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus