SYNASC 2015

UVT Uvt

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

Menu

Skip to content

Invited speakers

Peter Bentley
University College Lodon, UK

Ruzica Piskac
Yale University, US

Dave Sands
Chalmers University of Technology, Sweden

Andrei Voronkov
The University of Manchester, UK

Stefan Woltran
Viena University of Technology, Austria

Stephan Watt
University of Western Ontario and University of Waterloo, Canada

  • 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