SYNASC (25th international Symposium on Symbolic and Numeric Algorithms for Scientific Computing) will take place at Loria between 11th and 14th September 2023.
SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference then ranges from symbolic and numeric computation to formal methods applied to programming, artificial intelligence, distributed computing and computing theory. The interplay between these areas, in fact, is essential in the current scenario where economy and society demand for the development of complex, data intensive, trustable and high performant computational systems.
More information on synasc.ro/2023