Simpozionul internațional SYNASC 2026 – Symbolic and Numeric Algorithms for Scientific Computing – ediția a 28-a

În perioada 14-17 septembrie s-a desfășurat a 28-a ediție a Simpozionului internațional SYNASC (https://synasc.ro/2026/ ) organizat de către Facultatea de Informatică în colaborare cu Institutul de Calcul Simbolic al Universității Johannes Kepler din Linz, Austria și Institutul e-Austria din Timișoara.

La ediția din acest an au participat 150 cercetători din 20 de țări care au prezentat rezultate teoretice și aplicative în domeniul calculului simbolic și numeric,  logicii matematice, programării, fundamentelor teoretice ale informaticii, calculului distribuit și inteligenței artificiale.

Simpozionul SYNASC este recunoscut pe plan național și internațional ca un eveniment științific care impune o ștachetă ridicată în ceea ce privește calitatea lucrărilor. Evaluarea lucrărilor se face de către un comitet internațional de program coordonat în fiecare an de către un specialist recunoscut pe plan internațional. Anul acesta, coordonator științific al simpozionului a fost Peter Ölveczky de la Universitatea din Oslo, Norvegia.  Începând cu anul 2005, lucrările selectate și prezentate sunt incluse într-un volum publicat de către CPS (Conference Publishing Systems) și trimis spre indexare în WoS, Scopus etc.

Programul fiecăreia dintre cele 4 zile ale simpozionului a inclus prezentări invitate susținute de către cercetători de top din țară și străinătate.  La această ediție au fost invitați să susțină prezentări în plen: Tetsuo Ida (Universitatea din Tsukuba, Japonia), Temur Kutsia (Universitatea Johannes Kepler din Linz, Austria), Dorel Lucanu (Universitatea Alexandru Ioan Cuza din Iași, România), Bertrand Meyer (ETH Zurich, Elveția), Markus Roggenbach (Universitatea din Swansea, UK), Grigore Roșu (Universitatea din Illinois – Urbana Champaign, USA) și Nicu Sebe (Universitatea din Trento, Italia).

Participanții au avut astfel ocazia să afle despre cele mai recente direcții de cercetare din diverse domenii corelate cu tematica simpozionului:  utilizarea modelelor de limbaj în probleme de geometrie computațională, tehnici de raționament inductiv, sisteme de inferență și demonstrare automată, tehnici de verificare formală a sistemelor software, programare logică, verificarea formală a sistemelor bazate pe agenți inteligenți,  tehnici inteligente utilizate în vederea computerizată.  

Programul simpozionului a inclus un tutorial, susținut de către Peter Ölveczky , destinat modelării și analizei formale a sistemelor distribuite precum și 5 workshop-uri și două sesiuni speciale.

Workshop-urile au facilitat întâlnirea cercetătorilor care activează în domenii corelate cu tematica simpozionului: sisteme de agenți pentru rezolvarea problemelor complexe (workshop ACSys), metode iterative în determinarea punctelor fixe (workshop IAFP), calcul inspirat de natură (workshop NCA),  procesarea imaginilor satelitare (workshop WSAI).  In cadrul workshop-ului IAFP a fost susținută p prezentare invitată de către Vasile Berinde (Universitatea Tehnică din Cluj-Napoca, filiala Baia-Mare).

Workshop-ul WSAI (Remote Sensing and Computer Vision for a Sustainable Future) precum și sesiunea specială NSAI (Neuro-Symbolic Artificial Intelligence) au fost organizate în cadrul consorțiului HRIA (Hub Român de Inteligență Artificială) – program POCIDIF (MySMIS 351416).  

În cadrul sesiunii speciale dedicate doctoranzilor au fost acordate două premii pentru cele mai bune lucrări studenților David Biriș (Universitatea Babeș-Bolyai din Cluj-Napoca) respectiv Daniela Cojocaru (Universitatea de Vest din Timișoara).

În paralel cu SYNASC 2026 s-a desfășurat, în perioada 15-17 Septembrie, Simpozionul FROM (Working Formal Methods Symposium - https://from2026.uvt.ro/) care a reunit cca 35 de specialiști în domeniul verificării formale a sistemelor informatice. Programul simpozionului a inclus 3 prezentări invitate și 14 prezentări aferente lucrărilor acceptate pentru prezentare.

Synasc 2026 a beneficiat de sprijinul, în calitate de spnsori, ai unor firme din domeniul IT dintre care menționăm:  CyberThor Studios, Continental,  Nokia, ETA2U, Forvia Hella, CyberBee Software și MemIQ.