<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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsynasc.ro%2F2024%2F&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=cp5EwC3JN5SZEzEAPckrp4ob%2Fs4Xd5RYQYs9LjXLiqs%3D&reserved=0" originalSrc="https://synasc.ro/2024/" shash="RlJK2dFMGH93gU9ZvoiGgmtsQ7cA6aOtl5mWISSr+d2bLA28pYfTm0qk6rL8owNML3YDpxLfu1BxTYC4goSoxkOXhxaYY3cOi0s5dD3VSZ83aXBgf0fYQG52ipWE4gNCZaUQPkXDZaUPnubpDX2oivuPhowSlnbnNNxezy1xaGg=">https://synasc.ro/2024/</a> </p>
<p>(in conjunction with FROM – Working Formal Methods Symposium 2024 - <a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffrom2024.uvt.ro%2F&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=xaqQlFn90WcOk1wanbkU%2FaLb0OKHahcNbInTjJOywkI%3D&reserved=0" originalSrc="https://from2024.uvt.ro/" shash="iQXbllEdWFVnDJxcP+siw8wR2+wLf10NImkXmid7sc5F8qgD1lzWtmZ+Et6iFFKy+10wszhrK005I469d5NiGj/bcW7sW2kBVoOpWrWv5W7F37j9kDtEKEvG8T5eP/LAmrxqgLlfex9ocWnux0bYLNF0WqqryiJFzLE+4Jdhyic=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dsynasc2024&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=Z7vwha3TYg39fYV5w6hTnavbVPDlA%2Fr0aIj2eOwLGdY%3D&reserved=0" originalSrc="https://easychair.org/my/conference?conf=synasc2024" shash="bARCDHOPdruT/BUrQyI52/ujKciGc0q5y0uPHjXZTLll3I+iY7Ms1GQUBi8KxK13h8U7nydF7fafzB7QJbSqSeDSBKx/3vWxURr4GQulsLqqB/MTihOC5LOIUPoeujsz/wy3jfcu9iWS+1qpK7Ak9j0NNB/8q6XFoX3KaKG1gXY=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsynasc.ro%2F2024%2Fspecial-sessions%2F&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=hL90VSB7f6H4OdcxAb5YG9w0QgYeWVYR7wRlA%2BA71tE%3D&reserved=0" originalSrc="https://synasc.ro/2024/special-sessions/" shash="D64vPyW0auR2QPnkBBFy5b9nPc07sEHHnCKdRjTB5mm0blvLxMH0g/th6F0P4ln+kGBEOzq4X8xKZ/2qUxO5UFIEHA9JbEOoFk7w8y7Ml2v+nSg8kx7I9TKRpnpiXXhiudPLTgWasCR3aHutS7NCafRClrnXz2oZquZ6weQJynA=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsynasc.ro%2F2024%2Fworkshops%2F&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=UftTqkJlu8SZt1VOuj2cLSGvVt82S2F1Pzj5CLr4WCw%3D&reserved=0" originalSrc="https://synasc.ro/2024/workshops/" shash="uJFQtvJHGvzfoT5pOm964NynghxngMlnd6d5/j1x3MvWVHSiU9bPZhcpy3LrPc/duj35R6Sp7bfgGiMJrVj2/C71MtldKeYFGCVMjJDQB6N/T7Mpuov0R/Q19cJk8rAHe7r2rxHVjJE00gcAGAmo8A2uHKJccxaYNdUXkJH/dh8=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsynasc.ro%2F2024%2Ftutorials%2F&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=dI5ZLDWEBWbAOEOOKYwLWov7yfb%2B3qkvxfKo3fbMYhM%3D&reserved=0" originalSrc="https://synasc.ro/2024/tutorials/" shash="pqMzE8R7ajcgc7GnpvxXfPoQd2ptzJ6A8PuJV00jxt91j8wmRdpXswGeFOdQtgjCiHo5bT2YCtRDny5e+5kqoLRaulLqNVxM5/XRz241ndqSZ+Yu35DvjFPJCZkFvjirtYPxrz6gQWmNWhMETv+tyl45VHGRDSkJd49WFNN5vXs=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftsmtpclick.com%2Funsub%2Feng%2FqaR9ZGxjBGVlZGDlZwR4AwpkAmR4APp&data=05%7C02%7C%7C3550d72cbddc4b0f0c3808dc84834979%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638530947117894326%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=WjbW36lQih8dE1Nwhs2LSQVy7a1LPLYBoaSRrqLYriY%3D&reserved=0" originalSrc="https://tsmtpclick.com/unsub/eng/qaR9ZGxjBGVlZGDlZwR4AwpkAmR4APp" shash="XqlnLLcHVBatFCipF48xM+UcfeAcUOjgPAxCBv1ymupaOc5y8loFjEWTehLFwREby2mvXtwThtd9Er7RJP1uk3LSpxToVe+ONCe66mw+exgsAwDkKIDYxwjRwJpBY7Aimqmf+5ryZ8VBpF5h19Y8NceDT02HA9TE1Lf/xETpbCo=">To unsubscribe, please click here</a></p>
</body>