SYNASC 2025

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

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

Distributed Computing

TOPICS OF INTEREST

  • knowledge discovery, representation, and management
  • automated reasoning, uncertain reasoning, and constraint strategies
  • recommender and expert systems
  • intelligent systems, agents, and networks
  • agent-based complex systems
  • AI-based systems for scientific computing
  • machine learning – including deep learning models and technologies
  • explainable and trustworthy AI
  • information retrieval, data mining, text mining and web mining
  • computational intelligence – including fuzzy, neural and evolutionary computing
  • AI applications: natural language processing, computer vision, signal processing, stock market, computational neuroscience, robotics, autonomous vehicles, medical diagnosis, cybersecurity, digital design, online education, algorithm invention and analysis

TRACK CHAIRS

  • Marc Frîncu, West University of Timișoara, Romania
  • Dana Petcu, West University of Timișoara, Romania

PROGRAM COMMITEE

  • Bogdan Nicolae, Argonne National Laboratory, USA
  • Wolfgang Schreiner, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
  • Nikolaj Bjorner, Microsoft, USA