The Coq mailing list

["SYNASC 2022" <contact AT synasc.ro>]

Second Call for Papers

SYNASC 2022

24th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 12-15, 2022
RISC, Castle of Hagenberg, Austria

Conference website: http://synasc.ro/2022
Submission link: https://easychair.org/conferences/?conf=synasc2022

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 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.

IMPORTANT DATES
---------------
1 June 2022  : Paper submission for main tracks
15 June 2022 : Paper submission for workshops and special sessions
8 July 2022  : Notification of acceptance for main tracks
15 July 2022 : Notification of acceptance for workshops
22 July 2022 : Registration
22 July 2022 : Revised papers according to the reviews
12-15 September 2022: Symposium

SUBMISSION GUIDELINES
---------------------
Submitted research papers must contain original research results and should not be submitted or published elsewhere.

There are four categories of submissions:
1) Regular papers describing fully completed research results (up to 8 pages in the two-columns paper style).   
2) System descriptions and experimental papers describing implementation results of experimental data, with a link to the reported results (up to 4 pages in the two-columns paper style).
3) Work in progress papers, describing ongoing work and/or preliminary results (up to 4 pages in the two-columns paper style).   
4) PhD students short papers, describing ongoing work and research challenges of PhD students (up to 4 pages in the two-columns paper style).

LIST OF TOPICS
--------------
SYNASC is organized within six tracks:
1. Symbolic Computation
2. Numerical Computing
3. Logic and Programming
4. Distributed Computing
5. Artificial Intelligence
6. Theory of Computing

Also, the following workshops and special sessions are collocated with SYNASC:
1) 19th Workshop on Agents for Complex Systems (ACSys 2022)
2) 6th Workshop on Digital Image Processing for Medical and Automotive Industry (DIPMAI 2022)
3) Iterative algorithms for approximating fixed points of various contractive type operators (IAFP)
4) 19th Workshop on Natural Computing and Applications (NCA 2022)
5) Workshop on Symbolic Regression (SR 2022)
6) Special session: Advances in Distributed, Secure and Scalable Algorithms for Blockchain Technology

PUBLICATION
-----------
Research papers that are accepted and presented at the symposium will be collected as proceedings published by Conference Publishing Service (CPS) (included in IEEE Xplore) and will be submitted for indexing in ISI Web of Science, DBLP, SCOPUS.

In addition, a couple of special issues of journals are being organized for publishing extended and improved versions of high quality papers, in particular areas covered by SYNASC. At the moment the following agreements with journals have been made:   

1) Journal of Symbolic Computation (in particular for the tracks of Symbolic Computation, Logic and Programming)   
2) Scalable Computing: Practice and Experience (in particular for the track of Distributed Computing)

VENUE

------

The conference will be held at Research Institute for Symbolic Computation
(RISC), Castle of Hagenberg, Austria

CONTACT

-------

All questions about submissions should be emailed to contact AT synasc.ro

If you do not wish to receive announcements from the Research Institute for Symbolic Computation (RISC), please Unsubscribe