<head>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<meta name="GENERATOR" content="MSHTML 11.00.10570.1001"></head>
<body>
<p>(Apologies for the
cross-postings.)<br>============================================================</p>
<p>SYNASC 2024 - Final Call for Papers<br>26th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing<br>September 16-19,
2024, Timisoara Romania<br><a href="https://synasc.ro/2024/">https://synasc.ro/2024/</a> </p>
<p>(in conjunction with FROM – Working Formal Methods Symposium 2024 - <a href="https://from2024.uvt.ro/">https://from2024.uvt.ro/</a>)</p>
<p>=== Aim ===<br>SYNASC aims to stimulate interaction among multiple
communities focusing on defining, optimising and executing complex algorithms in
several application areas. The focus of the conference 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 the economy and
society demand for the development of complex, data-intensive, trustable and
high-performance computational systems.</p>
<p>=== Important Dates === <br> June 16, 2024
(AoE) : Paper submission for main tracks (extended deadline)<br>
June 30, 2024 (AoE) : Paper submission for special sessions and workshops
(extended deadline)<br> July 15,
2024 : Notification of
acceptance<br> September 5, 2024 :
Registration<br> September 5, 2024 : Revised papers
according to the reviews<br> September 16-19, 2024: Symposium</p>
<p>=== Tracks ===<br> * Symbolic Computation<br> * Numerical
Computing<br> * Logic and Programming<br> * Distributed
Computing<br> * Artificial Intelligence<br> * Theory of
Computing </p>
<p>=== Invited Speakers === <br> * Nikolaj Bjorner, Microsoft Research,
USA<br> * Kadi Bouatouch, University of Rennes, France<br> * Mike
Preuss, Leiden University, The Netherlands<br> * Sasha Radomirovic,
University of Surrey, UK<br> * Amr Sabry, Indiana University, USA</p>
<p>=== Submission ===<br>All papers must contain original research results and
should not be submitted or published elsewhere. There are four categories of
submissions: <br> * Regular papers describing fully completed research
results (up to 8 pages of text, excluding references, in the two-column paper
style). <br> * System descriptions and experimental papers
describing software prototypes, results of simulations, or experimental data
analysis, with a link to the reported results (up to 4 pages of text, excluding
references, in the two-column paper style). <br> * Work-in-progress
papers, describing ongoing work and/or preliminary results (up to 4 pages of
text, excluding references, in the two-column paper style).
<br> * Short papers and posters, describing ongoing work and research
challenges of PhD students (up to 4 pages in the two-columns paper style).</p>
<p>The papers should be submitted electronically through <a href="https://easychair.org/my/conference?conf=synasc2024">https://easychair.org/my/conference?conf=synasc2024</a>.</p>
<p>=== Publication === <br>Research papers that are accepted and presented at
the symposium will be collected as proceedings published by the Conference
Publishing Service (CPS) and will be submitted for indexing in ISI Web of
Science, DBLP, SCOPUS. For all accepted papers, at least one author is required
to register for the conference and present the paper. Extended versions of the
selected papers published in proceedings will be considered to be published as
special issues in international journals (e.g. Journal of Symbolic Computation,
Scalable Computing: Practice and Experience, Soft Computing Journal, etc.)</p>
<p>=== Special Sessions ===<br> * Special session on Numerical Approaches
for the Clean Energy Transition (NACET)<br> * Special session on Natural
Language Processing for Digital Humanities Applications (NALPHIDA)<br> *
Special session for PhD students</p>
<p>For details see <a href="https://synasc.ro/2024/special-sessions/">https://synasc.ro/2024/special-sessions/</a>
</p>
<p>=== Workshops ===<br> * ACSys: Agentst for Complex
Systems<br> * IAFP: Iterative algorithms for approximating fixed
points of various contractive type operators<br> * NCA: Natural Computing
and Applications<br> * SegWEDA: Serious Games in Well-being, Environment,
Digital Heritage and Other Applications</p>
<p>For details see <a href="https://synasc.ro/2024/workshops/">https://synasc.ro/2024/workshops/</a>
</p>
<p>=== Tutorials === <br> * Generalized multisets over infinite alphabets
with atoms (Andrei Alexandru, Gabriel Ciobanu)<br> * Advanced
Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for
Event Detection and Variable Prediction (Carlos Domingo) </p>
<p>For details see <a href="https://synasc.ro/2024/tutorials/">https://synasc.ro/2024/tutorials/</a>
</p>
<p>=== Program Chairs === <br> * Fairouz Kamareddine, Heriot-Watt
University, Edinburgh, UK <br> * Mircea Marin, West University of
Timisoara, Romania</p>
<p>=== Steering Committee ===<br> * Anca Mirela Andreica, Babes-Bolyai
University of Cluj-Napoca, Romania<br> * James Davenport, University of
Bath, UK<br> * Tetsuo Ida, University of Tsukuba, Japan<br> * Tudor
Jebelean, Johannes Kepler University, Austria<br> * Laura Kovacs,
Technical University of Vienna, Austria<br> * Dorel Lucanu, “Alexandru
Ioan Cuza” University of Iasi, Romania<br> * Viorel Negru, West University
of Timisoara, Romania<br> * Dana Petcu, West University of Timisoara,
Romania<br> * Alin Stefanescu, University of Bucharest, Romania<br>
* Stephen Watt, University of Waterloo, Canada<br> * Daniela Zaharie, West
University of Timisoara, Romania</p>
<p>-----------<br>SYNASC 2024<br>e-mail: <a href="mailto:contact@synasc.ro">contact@synasc.ro</a> </p>
<p><a href="https://tsmtpclick.com/unsub/eng/qaR9ZGxkZwD1AQV4AQH1ZmtmBQH5Zv4">To unsubscribe, please click here</a></p>
</body>