19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Event)

  • Armin Biere (Member)

Activity: Membership/FunctionProgram committee

Description

In honor of Professor Stefan Maruster’s 80th birthday, of Professor Bruno Buchberger’s 75th birthday and of Professor Tetsuo Ida’s 70th birthday International Symposium on Symbolic and Numeric Algorithms for Scientific Computing is an international conference that aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing and to exhibit interesting applications of the areas both in theory and in practice. The choice of the topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary for accelerating the progress in making the computer a truly intelligent aid for mathematicians and engineers. SYNASC 2017 is organized by: + Department of Computer Science, West University of Timisoara, Romania; + Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria; + Research Institute e-Austria, Timisoara, Romania.
Period21 Sept 201724 Sept 2017
Event title19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Event typeOther
LocationRomaniaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics