SYNASC 2015

UVT Uvt

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

Menu

Skip to content

Arie Gurfinkel

“Tutorial on Interpolation and Verification”

Author website: http://arieg.bitbucket.org/

Slide

  • General information
  • Program Brochure
  • Call for papers
  • Important dates
  • Registration
  • Committees
  • Invited speakers
    • Andrei Voronkov
    • Dave Sands
    • Ruzica Piskac
    • Peter Bentley
    • Stefan Woltran
    • Manuel Kauers
    • Stephen M. Watt
  • Submission
  • Tracks
    • Symbolic Computation
    • Numerical Computing
    • Logic and Programming
    • Artificial Intelligence
    • Distributed Computing
    • Advances in the Theory of Computing
  • Workshops
    • ACSys 2015
    • Geoinformatics
    • HPC-E5
    • IAFP 2015
    • MICAS 2015
    • NCA 2015
  • Tutorials
    • Arie Gurfinkel
    • Daniel Hedin
  • Publication
  • Conference fees
  • Venue
  • Travel arrangements
  • Accommodation
  • Contact
Copyright(c) 2017 - Department of Computer Science, West University of Timisoara, Romania
Proudly powered by WordPress