SYNASC 2018

Uvt

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

Menu

Skip to content

Tutorials and Trainings

  • Tutorial: SMT and its Applications to Formal Verification – Alessandro Cimatti
  • Tutorial: Classification with Bayesian Networks – Denis Enăchescu
  • Tutorial: A set-based approach to model checking of nonlinear systems – Maria Prandini
  • Training: InnoHPC – Capacity building for HPC providers and SMEs
  • General information
  • Important dates
  • Registration
  • Program
  • Committees
  • Invited speakers
    • Olivier Bournez
    • Dorel Lucanu
    • Edwin Lughofer
    • David Monniaux
    • Andrei Voronkov
  • Tracks
    • Symbolic Computation
    • Numerical Computing
    • Logic and Programming
    • Distributed Computing
    • Artificial Intelligence
    • Advances in the Theory of Computing
  • Special sessions
    • Ph.D. Colloquium Session
  • Workshops
    • ACSys 2018
    • DIPMAI 2018
    • Geoinformatics 2018
    • HPC-ST 2018
    • IAFP 2018
    • NCA 2018
    • PaTAISC 2018
  • Tutorials and Trainings
    • Tutorial: Invariant Checking of NRA Transition Systems
    • Tutorial: Bayesian networks: Inference, Learning and Modelling Complex Systems
    • Tutorial: A set-based approach to model checking of nonlinear systems
    • Training: InnoHPC – Capacity building for HPC providers and SMEs
  • Industrial presentations
  • Submission
  • Publication
  • Conference fees
  • Venue
  • Travel arrangements
  • Accommodation
  • Sponsors
  • Contact
  • Previous editions
Department of Computer Science, West University of Timisoara, Romania
Proudly powered by WordPress
2025 - Copyright(c)