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.

Topics of interests: * Symbolic Computation * Logic and programming * Artificial Intelligence * Numerical computing * Parallel computing This list is not intended to be exhaustive. We invite submissions in the form of: + full research papers, + informal presentations. We also invite proposals for: + special sessions + satellite workshops