![]() |
![]() |
| Romanian Academy Iasi | Formal Methods Laboratory |
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.
2. GlobalComp 2008 ---> 27-28 Sept. Timisoara, RomaniaThe aim of GlobalComp 2008 is to bring together researchers interested on foundational aspects and technologies for Global Computing.
© copyright 2008. All rights reserved