General Information

27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 22-25, Timișoara, România

AVM 2025 (17th Alpine Verification Meeting) is collocated with SYNASC 2025

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.

In this context we invite for:

SYNASC 2025 is organized by:

Department of Computer Science

West University of Timisoara, Romania

Details

Research Institute for Symbolic Computation

Johannes Kepler University, Linz, Austria

Details

Research Institute e-Austria

Timisoara, Romania

Details

and it is held September 22-25, 2025 in Timișoara, Romania.