<head>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<meta name="GENERATOR" content="MSHTML 11.00.10570.1001"></head>
<body><p>
<br></p><p style="text-indent: 0.5in; margin-left: 1in;">Second Call for Papers</p><p>
<br></p><p style="margin-left: 1.5in;"><span style="mso-spacerun: yes;"> </span>SYNASC
2020</p><p>
<br></p><p style="margin-left: 1in;"><span style="mso-spacerun: yes;"> </span>22nd
International Symposium on</p><p>
<br></p><p style="text-indent: 0.5in;">Symbolic and Numeric Algorithms for Scientific
Computing</p><p>
<br></p><p><span style="mso-spacerun: yes;"> </span><span style="mso-tab-count: 1;"> </span><span style="mso-spacerun: yes;"> </span><span style="mso-spacerun: yes;"> </span>September
1-4, 2020, Timisoara, Romania</p><p>
<br></p><p><span style="mso-spacerun: yes;">
</span><a href="http://synasc.ro/2020"><font color="#0000ff">http://synasc.ro/2020</font></a></p><p>
<br></p><p>============================================================</p><p>
<br></p><p> </p><p>
<br></p><p><span style="mso-spacerun: yes;"> </span>*** SYNASC 2020 will be
organized as an online conference ***</p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p>=== Aim ===</p><p>
<br></p><p style="text-align: justify;">SYNASC aims to stimulate the interaction among
multiple communities focusing on defining, </p><p style="text-align: justify;">optimizing and executing complex
algorithms in several application areas. </p><p style="text-align: justify;">The focus of the conference then
ranges from symbolic and numeric computation to formal </p><p style="text-align: justify;">methods applied to
programming, artificial intelligence, distributed computing and computing
theory. </p><p style="text-align: justify;">The interplay between these areas, in fact, is essential in the current
scenario where economy and </p><p style="text-align: justify;">society demand for the development of complex, data
intensive, trustable and high performant computational systems.</p><p>
</p><p>
<br></p><p>=== Important Dates ===</p><p>
<br></p><p style="text-align: justify;">15 June 2020:<span style="mso-tab-count: 2;"> </span>Paper
submission for main tracks</p><p>
<br></p><p style="text-align: justify;">15 June 2020:<span style="mso-tab-count: 2;"> </span>Paper
submission for workshops and special sessions</p><p>
<br></p><p style="text-align: justify;">15 July 2020:<span style="mso-tab-count: 2;"> </span>Notification
of acceptance</p><p>
<br></p><p style="text-align: justify;">01 August 2020: <span style="mso-tab-count: 1;"> </span><span style="mso-spacerun: yes;"> </span>Registration and revised papers for
pre-proceedings</p><p>
<br></p><p style="text-align: justify;">01-04 September 2020: <span style="mso-spacerun: yes;"> </span>Symposium</p><p>
<br></p><p style="text-align: justify;">30 November 2020:<span style="mso-tab-count: 1;"> </span><span style="mso-spacerun: yes;"> </span><span style="mso-spacerun: yes;"> </span>Final
papers for post-proceedings</p><p>
<br></p><p align="center" style="text-align: center;"> </p><p>
<br></p><p>=== Invited Speakers ===</p><p>
<br></p><p style="text-align: justify;">Roman Beck, University of Copenhagen, Denmark</p><p>
<br></p><p style="text-align: justify;">Tetsuo Ida, University of Tsukuba, Japan</p><p>
<br></p><p style="text-align: justify;"><to be extended></p><p>
<br></p><p style="text-align: justify;"> </p><p>=== Tracks ===</p><p>
<br></p><p style="text-align: justify;"> * Symbolic Computation</p><p>
<br></p><p style="text-align: justify;"> * Numerical Computing</p><p>
<br></p><p style="text-align: justify;"> * Logic and Programming</p><p>
<br></p><p style="text-align: justify;"> * Artificial Intelligence</p><p>
<br></p><p style="text-align: justify;"> * Distributed Computing</p><p>
<br></p><p style="text-align: justify;"> * Advances in the Theory of
Computing</p><p>
<br></p><p style="text-align: justify;"><br></p><p>
<br></p><p>=== Research Papers === </p><p>
<br></p><p style="text-align: justify;">Submitted research papers must contain original
research results not submitted </p><p>
and not published elsewhere.</p><p>
<br></p><p style="text-align: justify;"><br></p><p style="text-align: justify;">There are four categories of submissions:</p><p>
<br></p><p style="text-align: justify;"> * Regular papers describing
fully completed research results (up to 8 pages </p><p style="text-align: justify;"> in the two-columns paper style).</p><p>
<br></p><p style="text-align: justify;"> * System descriptions and
experimental papers describing implementation </p><p>
results of experimental data, with a link to the
reported results (up to 4 </p><p>
pages in the two-columns paper style).</p><p>
<br></p><p style="text-align: justify;"> * Work in progress papers,
describing ongoing work and/or preliminary </p><p style="text-align: justify;"> results (up to 4 pages in the two-columns paper
style).</p><p>
<br></p><p style="text-align: justify;"> * PhD Students papers,
describing ongoing work and research challenges of PhD students </p><p>
(up to 4 pages in the two-columns paper style).</p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p style="text-align: justify;">The papers should be submitted electronically
through </p><p>
<br></p><p style="text-align: justify;"><a href="http://www.easychair.org/conferences/?conf=synasc2020"><font color="#0000ff">http://www.easychair.org/conferences/?conf=synasc2020</font></a>.</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">Research papers that are accepted and presented
online at the symposium will be </p><p>
collected as post-proceedings published by
Conference Publishing Service </p><p>
(CPS) (included in IEEE Xplore) and will be
submitted for indexing in ISI Web </p><p>
of Science, DBLP, SCOPUS.</p><p>
<br></p><p style="text-align: justify;">Extended versions of the selected papers
published in post-proceedings will be </p><p style="text-align: justify;">considered to be published as special issues in
international journals <span style="mso-spacerun: yes;"> </span></p><p style="text-align: justify;"><span style="mso-spacerun: yes;">(e.g.
Mathematics in Computer Science, Soft Computing Journal, Scalable Computing:
Practice and Experience etc.) </span></p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p>=== Special Sessions ===</p><p>
<br></p><p style="text-align: justify;">ACSSA - Advances in Computational, Symbolic and
Secure Algorithms for Permissioned and Permissionless Blockchains</p><p>
<br></p><p style="text-align: justify;">Special Session for PhD students</p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p>=== Workshops ===</p><p>
<br></p><p style="text-align: justify;">ACSys - Workshop on Agents for Complex Systems </p><p>
<br></p><p style="text-align: justify;">BiD - Workshop on Big Data Applications</p><p>
<br></p><p style="text-align: justify;">DIPMAI - Workshop on Digital Image Processing for
Medical and Automotive Industry </p><p>
<br></p><p style="text-align: justify;">GeoInfo - Workshop on Geoinformatics </p><p>
<br></p><p style="text-align: justify;">IAFP - Workshop on Iterative Approximation of
Fixed Points </p><p>
<br></p><p style="text-align: justify;">NCA - Workshop on Natural Computing and
Applications </p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p>=== Tutorials ===</p><p>
<br></p><p style="text-align: justify;">Proposals for tutorials are also invited.
Tutorials provide fundamental exposure </p><p style="text-align: justify;">to topics ranging from introductory through
intermediate to advanced. The number </p><p style="text-align: justify;">and the duration of the tutorials will be decided
by the tutorial chair under the </p><p style="text-align: justify;">supervision of the general chair. Depending on
the number and the quality of the </p><p style="text-align: justify;">proposals for tutorials, they may be organized as
a SYNASC Autumn School.</p><p>
<br></p><p>
<br></p><p>=== Committees ===</p><p>
<br></p><p style="text-align: justify;">Honorary Chair:</p><p>
<br></p><p style="text-align: justify; text-indent: 0.5in;">* Bruno Buchberger, Johannes
Kepler University, Austria</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">Steering Committee:</p><p>
<br></p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Tetsuo Ida, University of Tsukuba, Japan</p><p style="text-align: justify;"><span style="mso-spacerun: yes;"> </span><span style="mso-tab-count: 1;"> </span>* Tudor Jebelean, Johannes Kepler
University, Austria</p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Laura Kovacs, Technical University of Vienna, Austria</p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Viorel Negru, West University of Timisoara, Romania</p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Dana Petcu, West University of Timisoara, Romania</p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Stephen Watt, University of Western Ontario, Canada</p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Daniela Zaharie, West University of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">General Chairs:</p><p>
<br></p><p style="text-align: justify;"> <span style="mso-tab-count: 1;"> </span>*
Viorel Negru, West University of Timisoara, Romania</p><p style="text-align: justify;"><span style="mso-spacerun: yes;"> </span><span style="mso-tab-count: 1;"> </span>* Dana Petcu, West University of
Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">Program Chairs:</p><p>
<br></p><p style="text-align: justify; text-indent: 0.5in;">* Elisabetta Di Nitto,
Politecnico di Milano, Italy</p><p style="text-align: justify; text-indent: 0.5in;">* Daniela Zaharie, West
University of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p>
<br></p><p style="text-align: justify;">Track Chairs:</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;"> * Symbolic Computation</p><p>
<br></p><p style="text-align: justify;"><span style="mso-spacerun: yes;"> </span> +
James Davenport, University of Bath, UK</p><p style="text-align: justify;"> +
Stephen Watt, University of Waterloo, Canada</p><p> </p><p>
<br></p><p style="text-align: justify;"> * Numerical Computing</p><p>
<br></p><p style="text-align: justify;"> +
Stephen Takacs, Johannes Kepler University Linz, Austria</p><p style="text-align: justify;"> + Eva
Kaslik, West University of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;"> * Logic and Programming</p><p>
<br></p><p style="text-align: justify;"> +
Nikolaj Bjorner, Microsoft Research, USA</p><p style="text-align: justify;"> +
Tudor Jebelean, Johannes Kepler University, Austria</p><p style="text-align: justify;"> +
Laura Kovacs, Technical University of Vienna, Austria</p><p>
</p><p>
<br></p><p style="text-align: justify;"> * Artificial Intelligence</p><p>
<br></p><p style="text-align: justify;"> +
Andrei Petrovski, Robert Gordon University, UK</p><p style="text-align: justify;"> +
Daniela Zaharie, West University of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;"> * Distributed Computing</p><p>
<br></p><p style="text-align: justify;"> <span style="mso-spacerun: yes;"> </span><span style="mso-spacerun: yes;"> </span>+ Marc Frincu, West University of Timisoara,
Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;"> * Advances in the Theory of
Computing</p><p>
<br></p><p style="text-align: justify;"> +
Florin Manea, Christian-Albrechts-University, Kiel, Germany</p><p style="text-align: justify;"><span style="mso-spacerun: yes;"> </span> +
Mircea Marin, West University of Timisoara, Romania</p><p style="text-align: justify;"> +
Gabriel Istrate, Institute e-Austria Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;">
</p><p style="text-align: justify;">Special Sessions and Workshops Chair:</p><p>
<br></p><p style="text-align: justify;"> * Daniel Pop, West University
of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">Tutorial Chair:</p><p>
<br></p><p style="text-align: justify;"> * Florin Fortis, West
University of Timisoara, Romania</p><p>
<br></p><p style="text-align: justify;">
</p><p style="text-align: justify;">Proceedings Chairs:</p><p>
<br></p><p style="text-align: justify;"> * Elisabetta di Nitto,
Politecnico di Milano, Italy</p><p style="text-align: justify;"> * Daniela Zaharie, West
University of Timisoara, Romania</p><p>
<br></p><p>
<br></p><p style="text-align: justify;">Organizing Commitee Chairs:</p><p>
<br></p><p style="text-align: justify;"> * Monica Sancira, West
University of Timisoara, Romania</p><p style="text-align: justify;"> * Isabela Dramnesc, West
University of Timisoara, Romania</p><p>
<br></p><p>
<br></p><p style="text-align: justify;">Publicity Chairs:</p><p>
<br></p><p style="text-align: justify;"> * Silviu Panica, Institute
e-Austria Timisoara, Romania</p><p style="text-align: justify;"> * Sebastian Stefaniga, West
University of Timisoara, Romania </p><p>
<br></p><p style="text-align: justify;"> </p><p style="text-align: justify;">Technical Committee:</p><p>
<br></p><p style="text-align: justify;"> * Theodor Grumeza, West
University of Timisoara, Romania</p><p style="text-align: justify;"> * David Perta, West University
of Timisoara, Romania</p><p>
<br></p><p>
<br></p><p style="text-indent: 0.5in; margin-left: 1in;"><span style="mso-spacerun: yes;"> </span>-----------</p><p>
SYNASC 2020</p><p>
West University of Timisoara</p><p><span style="mso-spacerun: yes;"> </span>Department
of Computer Science</p><p>
<span style="mso-spacerun: yes;"> </span>Bd. V. Parvan 4, 300223
Timisoara, Romania</p><p>
<span style="mso-spacerun: yes;"> </span>tel: + (40) 256 592195,
+(40) 256 592389</p><p>
<span style="mso-spacerun: yes;"> </span>fax: + (40) 256 592316,
+(40) 256 592380</p><p>
<span style="mso-spacerun: yes;"> </span>e-mail: <a href="mailto:contact@synasc.ro"><font color="#0000ff">contact@synasc.ro</font></a></p><p>
<br></p><p style="margin: 0in 0in 8pt; text-align: justify;"><font face="Calibri"> </font></p><p>
<br></p><p style="margin: 0in 0in 8pt;"><font face="Calibri"> </font></p><p>
<br></p></body>