În perioada 22-25 septembrie s-a desfășurat a 27-a ediție a Simpozionului internațional SYNASC (https://synasc.ro/2025/) organizat de către Facultatea de Matematică și 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 120 cercetători din 18 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, coordonatoare științifică al simpozionului a fost prof.dr Arie Gurfinkel de la University of Waterloo, Canada. Î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: Adina James Davenport (University of Bath, UK), Magda Florea (National University of Science and Technology Politehnica, Bucharest), Thomas Henzinger (Technical University Vienna, Austria), Nancy Ide (Vassar College, USA), Daniela Kaufmann (Technical University Vienna, Austria), Anna Kononova (University of Leiden, Netherlands), Josiane Zerubia (INRIA, France). Participanții au avut astfel ocazia să afle despre cele mai recente direcții de cercetare din diverse domenii corelate cu tematica simpozionului: aspecte legate de reglementarea și standardele specifice inteligenței artificiale, explicabilitatea modelelor de inteligență artificială, certificarea formală a sistemelor de control bazate pe rețele neuronale, evoluția inteligenței artificiale de la sistemele bazate pe reguli la modelele largi de limbaj, verificarea circuitelor aritmetice, explicabilitatea algoritmilor euristici de optimizare, procesarea imaginilor satelitare .
Pe lângă aceste prezentări, au fost incluse în program trei tutoriale, adresate în principal tinerilor cercetători, susținute de către Andreea Duțulescu (National University of Science and Technology Politehnica, Bucharest) în colaborare cu Ștefan Reseti și Mihai Dascălu; Gabriel Iuhasz și Marian Neagul (Universitatea de Vest din Timișoara), respectiv Marc Frîncu (Universitatea de Vest din Timișoara).
Pe lângă sesiunile dedicate principalelor secțiuni ale simpozionului s-au desfășurat 4 workshop-uri pe tematici corelate (sisteme de agenți pentru rezolvarea problemelor complexe, metode iterative în determinarea punctelor fixe, calcul inspirat de natură și procesarea imaginilor satelitare) și o sesiune specială dedicată studenților. Workshop-ul Remote Sensing and Computer Vision for a Sustainable Future a fost organizat de către membrii consorțiului HRIA (Hub Român de Inteligență Artificială) – program POCIDIF (MySMIS 334906). Workshop-urile au permis stabilirea de contacte şi colaborări între cercetători din mediul academic şi cercetători din mediul industrial. În cadrul sesiunii dedicate doctoranzilor au fost acordate două premii pentru cele mai bune lucrări studenților Tudor – Octavian Mihăiță (Universitatea Babeș-Bolyai din Cluj-Napoca) respectiv Fabian Galiș (Universitatea de Vest din Timișoara).
În paralel cu SYNASC 2025 s-a desfășurat, în perioada 24-26 Septembrie întâlnirea grupului de lucru AVM (Alpine Verification Meeting) care a reunit cca 30 de specialiști în domeniul verificării formale a sistemelor informatice.
Synasc 2025 a beneficiat de sprijinul, în calitate de sponsori, ai unor firme din domeniul IT dintre care menționăm: CyberThor Studios, Nokia, ETA2U, Forvia Hella, CyberBee Software și MemIQ.
