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.
AVM 2025 (17th Alpine Verification Meeting) is collocated with SYNASC 2025
In this context we invite for:
Research paper submissions
Special session proposals
Satellite workshop proposals
Tutorial proposals
SYNASC 2025 is organized by:
and it is held September 22-25, 2025 in Timișoara, Romania.
Previous editions can be found here.
Research paper submissions
Submissions of research papers are invited. All papers must contain original research results and should not be submitted or published elsewhere.
There are several categories of submissions:
Regular papers
describing fully completed research results (up to 8 pages of text, excluding references, in the two-column paper style).
System descriptions and experimental papers
describing software prototypes, results of simulations, or experimental data analysis, with a link to the reported results (up to 8 pages of text, excluding references, in the two-columns paper style).
Short papers
describing ongoing work, preliminary results, and/or research challenges of PhD students (up to 4 pages of text, excluding references, in the two-columns paper style).
Special session proposals
Proposals are invited for special sessions on any topic relevant to the conference. Special sessions are intended to stimulate in-depth discussions in special areas and they are fully integrated into the main conference. The research papers and the informal presentations submitted and accepted for the special sessions follow the same rules as the papers submitted to the regular sessions. It is expected that the organizers of the special sessions appoint their own chair and program committee, which will be integrated in the conference program committee and will be supervised by the conference program chair and by the general chair.
The special session proposals should be sent to contact@synasc.ro and should clearly specify the following:
- Special session title.
- A brief description of the topics to be covered, and a motivation of the relevance of the special session to SYNASC audience.
- A list of organizers with email addresses and a one-paragraph bio for each organizer, describing research expertise, and previous experience in organizing scientific meetings.
- A preliminary list of the program committee.
Satellite workshop proposals
The satellite workshops should have topics related to SYNASC but the scientific program of each satellite workshop is managed by the workshop organizers.
The workshop proposals should be sent to contact@synasc.ro and should clearly specify the following:
- Workshop title.
- A brief description of the topics to be covered, and a motivation of the relevance of the workshop to SYNASC audience.
- A description of the history of the workshop (if it previously took place).
- A list of organizers with email addresses and a one-paragraph bio for each organizer, describing research expertise, and previous experience in organizing scientific meetings.
- A preliminary list of the program committee.
Tutorial proposals
Proposals for tutorials are also invited. Tutorials provide fundamental exposure to topics ranging from introductory through intermediate to advanced. The number and the duration of the tutorials will be decided by the tutorial chair under the supervision of the general chair. Typical duration of a tutorial session is 90 minutes. If it is necessary a tutorial can be split in two sessions, each one of 90 minutes
The tutorial proposals should be sent to contact@synasc.ro and should contain:
- The tutorial title
- A short abstract and information its organization (one or two sessions)
- The name(s) of the speaker(s) together with a one-paragraph bio for each one