Welcome!

SYNASC 2019

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing is an international conference that aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary for accelerating the progress in making the computer a truly intelligent aid for mathematicians and engineers.

SYNASC 2019 is organized by:

+ Department of Computer Science, West University of Timisoara, Romania;
+ Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria;
+ Research Institute e-Austria, Timisoara, Romania.

and it is held September 4-7, 2019 at the Department of Computer ScienceWest University of Timisoara, Romania, in conjunction with the 3rd edition of Working Formal Methods Symposium 2019.

Important dates

Track papers submission
31 May 2019 15 June 2019 (firm deadline)
Workshop papers, position papers, posters submission
1 June 2019 30 June 2019
Notification of acceptance (main tracks)
 16 July 2019
Notification of acceptance (workshops)
 25 July 2019
Registration  1 August 2019
Revised papers (for pre-proceedings)  1 August 2019
Symposium  4-7 September 2019
Final papers (for post-proceedings)
 30 November 2019

Call for workshop papers, position papers, posters

Call for Papers

Flyer

Previous SYNASC editions