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

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

FacebookTwitterLinkedInGoogle


Conference Series : Symbolic and Numeric Algorithms for Scientific Computing
 
Link: http://synasc10.info.uvt.ro/
 
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.

Publication:
------------

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 http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4438060)

Related Resources

SYNASC 2025   27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)
AAIML 2026   IEEE--2026 International Conference on Advances in Artificial Intelligence and Machine Learning
EXPLAINS 2025   2nd International Conference on Explainable AI for Neural and Symbolic Methods
EPSEE 2025   2025 4th International Conference on Advanced Electric Power System and Energy Engineering (EPSEE 2025)
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing