posted by user: smwatt || 2022 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 2019   International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
WCBD 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
Journal Special Issue 2019   Machine Learning on Scientific Data and Information
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
ICPP 2020   International Conference on Parallel Processing
PASC 2019   Platform for Advanced Scientific Computing
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
Ei-CCESG 2020   2020 3rd International Joint Conference on Clean Energy and Smart Grid(CCESG 2020)
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)