<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>
=========================================================== <br>
<br>
Sorry for the spam. There was an error in the last call we sent you.<br>
Here you have the Final Call for Papers. <br>
<br>
Final Call for Papers</p>
<p>
SYNASC 2020</p>
<p>
22nd International Symposium on<br>
Symbolic and Numeric Algorithms for Scientific
Computing<br>
September 1-4,
2020, Timisoara, Romania<br>
<a href="http://synasc.ro/2020"><font color="#0000ff">http://synasc.ro/2020</font></a></p>
<p>============================================================</p>
<p>*** SYNASC 2020 will be organized as an online conference ***</p>
<p>=== Aim ===</p>
<p>SYNASC aims to stimulate the interaction among multiple communities focusing
on defining, optimizing and executing complex algorithms in several application
areas. The focus of the conference then ranges from symbolic and numeric
computation to formal methods applied to programming, artificial intelligence,
distributed computing and computing theory. The interplay between these areas,
in fact, is essential in the current scenario where economy and society demand
for the development of complex, data intensive, trustable and high performant
computational systems.</p>
<p>=== Important Dates ===<br>
<br>
5 July 2020 :
Paper submission for main tracks (extended deadline)<br>
5 July 2020 :
Paper submission for workshops and special sessions (extended deadline)<br>
10 August 2020 : Notification
of acceptance<br>
20 August 2020 : Registration
and revised papers for pre-proceedings<br>
01-04 September 2020 : Symposium<br>
30 November 2020 : Final papers for
post-proceedings</p>
<p>=== Invited Speakers ===</p>
<p>Roman Beck, University of Copenhagen, Denmark<br>
Tetsuo Ida, University of Tsukuba, Japan<br>
Letizia Jaccheri, Norwegian University of Science and Technology, Norway<br>
Ioana Leustean, University of Bucharest, Romania<br>
Damian Tamburri, Technical University of Eindhoven, The Netherlands<br>
Moshe Vardi, Rice University, USA<br>
Stephen Watt, University of Waterloo, Canada<br>
Gabriela Csurka, NAVER LABS Europe, France</p>
<p>=== Tracks ===</p>
<p> * Symbolic Computation</p>
<p> * Numerical Computing<br>
<br>
* Logic and Programming</p>
<p> * Artificial Intelligence</p>
<p> * Distributed Computing<br>
<br>
* Advances in the Theory of Computing</p>
<p>=== Tutorials ===</p>
<p> * Tutorial on "Infrastructure as Code for
Heterogeneous Computing"</p>
<p>=== Special Sessions ===</p>
<p>ACSSA - Advances in Computational, Symbolic and Secure Algorithms for
Permissioned and Permissionless Blockchains</p>
<p>Special Session for PhD students</p>
<p>=== Workshops ===</p>
<p>ACSys - Workshop on Agents for Complex Systems <br>
BiD - Workshop on Big Data Applications<br>
DIPMAI - Workshop on Digital Image Processing for Medical and Automotive
Industry <br>
GeoInfo - Workshop on Geoinformatics <br>
IAFP - Workshop on Iterative Approximation of Fixed Points <br>
NCA - Workshop on Natural Computing and Applications <br>
<br>
=== Submissions ===</p>
<p>Submitted research papers must contain original research results not
submitted <br>
and not published elsewhere.</p>
<p>There are four categories of submissions:<br>
* Regular papers describing fully completed research results
(up to 8 pages <br>
in the two-columns paper style).<br>
* System descriptions and experimental papers describing
implementation <br>
results of experimental data, with a link to the reported results (up to 4 <br>
pages in the two-columns paper style).<br>
* Work in progress papers, describing ongoing work and/or
preliminary <br>
results (up to 4 pages in the two-columns paper style).<br>
* PhD Students papers, describing ongoing work and research
challenges of PhD students <br>
(at least 2 and at most 4 pages in the two-columns paper style).<br>
<br>
The papers should be submitted electronically through <br>
<a href="http://www.easychair.org/conferences/?conf=synasc2020"><font color="#0000ff">http://www.easychair.org/conferences/?conf=synasc2020</font></a>.</p>
<p>Research papers that are accepted and presented online at the symposium will
be <br>
collected as post-proceedings published by Conference Publishing Service <br>
(CPS) (included in IEEE Xplore) and will be submitted for indexing in ISI Web <br>
of Science, DBLP, SCOPUS.</p>
<p>Extended versions of the selected papers published in post-proceedings will
be <br>
considered to be published as special issues in international journals (e.g.
Mathematics in Computer Science, Soft Computing Journal, Concurrency and
Computation: Practice and Experience, Scalable Computing: Practice and
Experience etc.) <br>
<br>
=== Committees ===</p>
<p>Honorary Chair:</p>
<p> * Bruno Buchberger, Johannes Kepler University, Austria<br>
<br>
Steering Committee:</p>
<p> * Tetsuo Ida, University of Tsukuba, Japan<br>
* Tudor Jebelean, Johannes Kepler University, Austria<br>
* Laura Kovacs, Technical University of Vienna, Austria<br>
* Viorel Negru, West University of Timisoara, Romania<br>
* Dana Petcu, West University of Timisoara, Romania<br>
* Stephen Watt, University of Western Ontario, Canada<br>
* Daniela Zaharie, West University of Timisoara, Romania</p>
<p>General Chairs:</p>
<p> * Viorel Negru, West University of Timisoara, Romania<br>
* Dana Petcu, West University of Timisoara, Romania</p>
<p>Program Chairs:</p>
<p> * Elisabetta Di Nitto, Politecnico di Milano, Italy<br>
* Daniela Zaharie, West University of Timisoara, Romania</p>
<p>Track Chairs:</p>
<p> * Symbolic Computation<br>
+ James Davenport, University of
Bath, UK<br>
+ Stephen Watt, University of
Waterloo, Canada</p>
<p> * Numerical Computing<br>
+ Stephen Takacs, Johannes Kepler
University Linz, Austria<br>
+ Eva Kaslik, West University of
Timisoara, Romania</p>
<p> * Logic and Programming<br>
+ Nikolaj Bjorner, Microsoft
Research, USA<br>
+ Laura Kovacs, Technical University
of Vienna, Austria<br>
<br>
* Artificial Intelligence<br>
+ Andrei Petrovski, Robert Gordon
University, UK<br>
+ Daniela Zaharie, West University
of Timisoara, Romania<br>
<br>
* Distributed Computing</p>
<p> + Marc Frincu, West University of
Timisoara, Romania<br>
<br>
* Advances in the Theory of Computing</p>
<p> + Mircea Marin, West University of Timisoara, Romania<br>
+ Gabriel Istrate, Institute
e-Austria Timisoara, Romania<br>
<br>
Special Sessions and Workshops Chair:</p>
<p> * Daniel Pop, West University of Timisoara, Romania</p>
<p>Tutorial Chair:</p>
<p> * Florin Fortis, West University of Timisoara, Romania<br>
<br>
Proceedings Chairs:</p>
<p> * Elisabetta di Nitto, Politecnico di Milano, Italy<br>
* Daniela Zaharie, West University of Timisoara, Romania<br>
<br>
Organizing Commitee Chairs:</p>
<p> * Monica Sancira, West University of Timisoara, Romania<br>
* Isabela Dramnesc, West University of Timisoara, Romania</p>
<p>Publicity Chairs:<br>
<br>
* Silviu Panica, Institute e-Austria Timisoara, Romania<br>
* Sebastian Stefaniga, West University of Timisoara, Romania
</p>
<p>Technical Committee:</p>
<p> * Theodor Grumeza, West University of Timisoara, Romania<br>
* David Perta, West University of Timisoara, Romania<br>
</p>
<p>-----------<br>
SYNASC 2020<br>
West University of Timisoara<br>
Department of Computer Science<br>
Bd. V. Parvan 4, 300223 Timisoara, Romania<br>
tel: + (40) 256 592195, +(40) 256 592389<br>
fax: + (40) 256 592316, +(40) 256 592380<br>
e-mail: <a href="mailto:contact@synasc.ro"><font color="#0000ff">contact@synasc.ro</font></a></p>
<p style="margin: 0in 0in 8pt;"><font face="Calibri"> </font></p>
</body>