SYNASC2019: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing West University of Timisoara, Romania Timisoara, Romania, September 4-7, 2019 |
Conference website | https://synasc.ro/2019 |
Submission link | https://easychair.org/conferences/?conf=synasc2019 |
Conference program | https://easychair.org/smart-program/SYNASC2019/ |
Abstract registration deadline | June 30, 2019 |
Submission deadline | June 30, 2019 |
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) is a an annual 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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Regular papers (up to 8 pages in the two-columns paper style).
-
System descriptions and experimental papers (up to 4 pages).
-
Work in progress papers (up to 4 pages).
-
Position papers (up to 4 pages).
-
Posters, describing ongoing work and research challenges of PhD students (up to 2 pages).
List of Topics
- Symbolic Computation
- Numerical Computing
- Logic and Programming
- Distributed Computing
- Artificial Intelligence
Committees
Chairs and Committees
- Honorary chair: Bruno Buchberger, Johannes Kepler University, Austria
- Program chair: Hoon Hong, North Carolina State University, USA
- Steering committee:
- Tetsuo Ida, University of Tsukuba, Japan
- Tudor Jebelean, Johannes Kepler University, Austria
- Laura Kovacs, Technical University of Vienna, Austria
- Viorel Negru, West University of Timisoara, Romania
- Dana Petcu, West University of Timisoara, Romania
- Stephen Watt, University of Western Ontario, Canada
- Daniela Zaharie, West University of Timisoara, Romania
- Symbolic Computation track chairs:
- James Davenport, University of Bath, UK
- Stephen Watt, University of Western Ontario, Canada
- Numerical Computing track chairs:
- Stephen Takacs, Johannes Kepler University Linz, Austria
- Eva Kaslik, West University of Timisoara, Romania
- Logic and Programming track chairs:
- Nikolaj Bjorner, Microsoft Research, US
- Tudor Jebelean, Johannes Kepler University, Austria
- Laura Kovacs, Technical University of Vienna, Austria
- Distributed Computing track chairs:
- Marc Frincu, West University of Timisoara, Romania
- Advances in the Theory of Computing track chairs:
- Florin Manea, Christian-Albrechts-University, Kiel, Germany
- Mircea Marin, West University of Timisoara, Romania
- Gabriel Istrate, Institute e-Austria Timisoara, Romania
- Artificial Intelligence track chairs:
- Andrei Petrovski, Robert Gordon University, UK
- Daniela Zaharie, West University of Timisoara, Romania
Organizing committee
- Monica Sancira, West University of Timisoara, Romania
- Isabela Dramnesc, West University of Timisoara, Romania
- Silviu Panica, Institute e-Austria Timisoara, Romania
- Sebastian Stefaniga, West University of Timisoara, Romania
- Theodor Grumeza, West University of Timisoara, Romania
- Ioan Samuila, West University of Timisoara, Romania
Invited Speakers
-
Anca Andreica, Babes Bolyai University, Cluj-Napoca, Romania
-
Marcello Bonsangue, Leiden University and CWI Amsterdam, The Netherlands
-
Swagatam Das, Indian Statistical Institute, India
-
James Davenport, University of Bath, UK
-
Jonathan Hauenstein, University of Notre Dame, USA
-
Peter Csaba Ölveczky, University of Oslo, Norway
-
Stephen Watt, University of Waterloo, Canada
Publication
SYNASC2019 proceedings will be published in by IEEE CPS (Conference Publishing Services)
Venue
The conference will be held in Timisoara, Romania at the West University of Timisoara
Contact
All questions about submissions should be emailed to synasc19@synasc.ro