SYNASC 2025

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

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

Logic and Programming

TOPICS OF INTEREST

  • automatic reasoning
  • formal system verification
  • formal verification and synthesis
  • software quality assessment
  • static analysis
  • timing analysis
  • automated testing

TRACK CHAIRS

  • Nikolaj Bjorner, Microsoft Research, USA
  • Arie Gurfinkel, University of Waterloo, Canada
  • Laura Kovacs, Technical University of Vienna, Austria

PROGRAM COMMITEE

  • Erika Abraham, RWTH Aachen University, Germany
  • Ștefan Andrei, A.I. Cuza University, Iași, Romania
  • Mădălina Erașcu, West University of Timișoara, Romania
  • Grigory Fedyukovich, Florida State University, United States
  • Lukáš Holík, Brno University of Technology, Czechia
  • Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
  • Philipp Rümmer, University of Regensburg, Germany
  • Sorin Stratulat, Université de Lorraine, France