SYNASC 2022

UVT Uvt

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

Menu

Skip to content
  • General Information
  • Contact

Venue

RISC – Castle Hagenberg, Austria

Here you can see the map.

Navigation

  • General Information
  • Registration
  • Call for Papers
  • Important Dates
  • Submission
  • Publication
  • Conference Fees
  • Papers accepted for presentation
  • Program
  • Invited speakers
    • Camelia Chira
    • Martina Seidl
    • Michael Affenzeller
    • Robert Wille
    • Wolfgang Schreiner
  • Committees
  • Tracks
    • Symbolic Computation
    • Numerical Computing
    • Logic and Programming
    • Artificial Intelligence
    • Distributed Computing
    • Theory of Computing
  • Tutorials
    • Secure your Things: Secure Development of IoT Software with FRAMA-C
    • Quantified Boolean Formulas
    • Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education
    • Mathematical Model Checking in RISCAL
    • Conditional Rewriting in Theorema 2.0
    • Natural Language Processing for Industrial Applications
  • Special Sessions
    • Advances in Distributed, Secure and Scalable Algorithms for Blockchain Technology
    • Computer Algebra and Computational Logic
    • Special Session for PhD students
  • Workshops
    • ACSys 2022
    • DIPMAI 2022
    • IAFP 2022
    • NCA 2022
    • SR 2022
  • Contact
  • Venue
  • Sponsors
Copyright(c) 2023 - Department of Computer Science, West University of Timisoara, Romania
Proudly powered by WordPress