SYNASC 2018

Uvt

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

Menu

Skip to content

Invited speakers

  • Olivier Bournez, Ecole Politechnique, Paris, France
  • Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania
  • Edwin Lughofer, Johannes Kepler University, Linz, Austria
  • David Monniaux, University of Grenoble, France
  • Andrei Voronkov, University of Manchester, UK

 

 

 

 

  • 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)