posted by user: smwatt || 2579 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 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
SNR 2022   The 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis
AAMLASP 2023   Advanced Aspects of Machine Learning Algorithms for Scientific Programming
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
ACM-AMLSP 2022   2022 4th International Conference on Algorithms, Machine Learning and Signal Processing (AMLSP 2022)
ITCFEC 2023   Special Issue for Submission: Internet of Things and Cloud-Fog-Edge Computing
SEKE 2023   The 35th International Conference on Software Engineering and Knowledge Engineering
PODC 2023   Principles of Distributed Computing
MobiCom 2023   The 29th Annual International Conference On Mobile Computing And Networking (Winter Deadline)
ICICO 2023   6th International Conference on Intelligent Computing & Optimization 2023