posted by user: smwatt || 2064 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

ICACS--ACM, Ei and Scopus 2020   ACM--2020 4th International Conference on Algorithms, Computing and Systems (ICACS 2020)--Ei Compendex, Scopus
ACM--ICACS--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Algorithms, Computing and Systems (ICACS 2020)--Ei Compendex, Scopus
BENCHMARK 2020   PPSN 2020 Workshop - Good Benchmarking Practices for Evolutionary Computation
ACM-WCBD-Ei/Scopus 2020   2020 International Conference on Wireless Communication and Big Data (WCBD 2020)
ICPP 2020   International Conference on Parallel Processing
ICCS 2020   International Conference on Computational Science
IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
ICBICC 2020   2020 2nd International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2020)
ISCNC 2020 - Ei Compendex & Scopus 2020   2020 2nd International Symposium on Computing, Networking and Communications(ISCNC 2020)
SBAC-PAD 2020   International Symposium on Computer Architecture and High Performance Computing