[Publicity] SYNASC 2012: 2nd Call for papers

[Secretary]

SYNASC 2012
===========
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
September 26-29, 2012, Timisoara, Romania
http://synasc12.info.uvt.ro/

~~ In honor of Professor Bruno Buchberger's 70th birthday and of Professor Stefan Maruster's 75th
birthday ~~

SYNASC 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.

Important Dates
17 June 2012 	: 	Abstract submission (Extended deadline)
24 June 2012 	:
	Paper submission
01 August 2012 	:
	Notification of acceptance
01 September 2012 	:
	Registration
08 September 2012 	:
	Revised papers according to the reviews
26-29 September 2012 	:
	Symposium
18 November 2012 	:
	Final papers for post-proceedings

Tracks

* Symbolic Computation
* Logic and Programming
* Artificial Intelligence
* Numerical Computing
* Distributed Computing
* Advances in the Theory of Computing

Invited Speakers

*  Bruno Buchberger, Johannes Kepler University, Austria
*  Sumit Gulwani, Senior Researcher at Microsoft Research, Redmond, USA
*  Tetsuo Ida,  University of Tsukuba, Japan
*  Michael Kohlhase, Jacobs University Bremen, Germany
*  Sascha Ossowski, Rey Juan Carlos University Madrid, Spain
*  Paul Tarau, University of North Texas, USA