[clean-list] [Synasc-call-for-papers] SYNASC 2009 - Final Call for Papers

[synasc09 at info.uvt.ro]

[Please post - apologies for multiple copies.]

SYNASC 2009 - 11th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 26-29, 2009, Timisoara, Romania
http://synasc09.info.uvt.ro/

Aim:
-----
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:
-----------------
01 July 2009: Papers submission
15 August 2009: Notification of acceptance
01 September 2009: Registration
15 September 2009: Revised paper according the reviews
26-29 September 2009: Symposium period
30 November 2009: Final papers for post-proceedings




===================================================
ACSys 2009 - 6th Workshop on Agents for Complex Systems
in conjunction with SYNASC-2009

August 3, 2009: Papers submission
http://synasc09.info.uvt.ro/workshops/ACSys/

===================================================
GlobalComp - 2nd Workshop on Global Computing Models and Technologies
in conjunction with SYNASC 2009

August 3, 2009:  Papers submission
http://synasc09.info.uvt.ro/workshops/globalcomp

===================================================
NCA 2009 -  Workshop on Natural Computing and Applications
in conjunction with SYNASC 2009

August 3, 2009: Papers submission
http://synasc09.info.uvt.ro/workshops/nca

===================================================
DMC 2009 - 1st Workshop on Data Management and Control
in conjunction with SYNASC 2009

August 3, 2009: Papers submission
http://synasc09.info.uvt.ro/workshops/dmc

===================================================
SYNASC Tutorials on Software Verification and Theorem Proving

Two-days programme of four tutorials,
http://synasc09.info.uvt.ro/tutorials


-- 
SYNASC 2009
West University of Timisoara
Dept. of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155
fax: + (40) 256 592316
e-mail: synasc09.info.uvt.ro

_______________________________________________
To unsubscribe send an empty e-mail to 
synasc-call-for-papers-leave at lists.info.uvt.ro
or visit this link:
http://lists.info.uvt.ro/mailman/listinfo/synasc-call-for-papers