SYNASC 2025

27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

September 22-25, Timișoara, România

Committees

Honorary Chair

Bruno Buchberger, Johannes Kepler University, Austria

General Chairs

  • Viorel Negru, West University of Timișoara, Romania
  • Daniela Zaharie, West University of Timișoara, Romania

Steering Committee

  • Anca Mirela Andreica, Babeș-Bolyai University of Cluj-Napoca, Romania
  • James Davenport, University of Bath, UK
  • Tetsuo Ida, University of Tsukuba, Japan
  • Tudor Jebelean, Johannes Kepler University, Austria
  • Laura Kovacs, Technical University of Vienna, Austria
  • Dorel Lucanu, “Alexandru Ioan Cuza” University of Iași, Romania
  • Viorel Negru, West University of Timișoara, Romania
  • Dana Petcu, West University of Timișoara, Romania
  • Alin Ștefănescu, University of Bucharest, Romania
  • Stephen Watt, University of Waterloo, Canada

Special Sessions and Workshops Chair

  • Daniel Pop, West University of Timișoara, Romania

Web Chairs

  • Flavia Micota, West University of Timișoara, Romania
  • Theodor Grumeza, West University of Timișoara, Romania

Local Organizing Committee

  • Monica Tirea Sancira, West University of Timișoara, Romania
  • Cosmin Bonchiș, West University of Timișoara, Romania
  • Alexandra Fortiș, West University of Timișoara, Romania
  • Adrian Spătaru, West University of Timișoara, Romania

Program and Proceedings Chairs

  • Arie Gurfinkel, University of Waterloo, Canada
  • Mircea Marin, West University of Timișoara, Romania

Track Chairs

  • Symbolic Computation
    • James Davenport, University of Bath, UK
    • Stephen Watt, University of Waterloo, Ontario, Canada
  • Numerical Computing
    • Stephen Takacs, Johannes Kepler University Linz, Austria
    • Eva Kaslik, West University of Timișoara, Romania
    • Dorota Mozyrska, Bialystok University of Technology, Poland
  • Logic and Programming
    • Nikolaj Bjorner, Microsoft Research, USA
    • Arie Gurfinkel, University of Waterloo, Canada
    • Laura Kovacs, Technical University of Vienna, Austria
  • Artificial Intelligence
    • Andrei Petrovski, Robert Gordon University, UK
    • Daniela Zaharie, West University of Timișoara, Romania
  • Distributed Computing
    • Marc Frîncu, West University of Timișoara, Romania
    • Dana Petcu, West University of Timișoara, Romania
  • Theory of Computing
    • Mircea Marin, West University of Timișoara, Romania
    • Gabriel Istrate, University of Bucharest, Romania

Tutorial Chair

  • Florin Fortiș, West University of Timișoara, Romania

Publicity Chairs

  • Silviu Panica, Institute e-Austria Timișoara, Romania
  • Sebastian Ștefănigă, West University of Timișoara, Romania

Technical Committee Chairs

  • Dorin Cazan, West University of Timișoara, Romania
  • Răzvan Iovescu, West University of Timișoara, Romania
  • Ștefan Secrieru, West University of Timișoara, Romania