Departamentul de Informatică din cadrul Facultății de Matematică și Informatică organizează, anual din 1999, simpozionul internațional SYNASC (https://synasc.ro/2022) în colaborare cu Institutul de Calcul Simbolic al Universității Johannes Kepler din Linz, Austria și Institutul e-Austria din Timișoara.
În acest an simpozionul s-a desfășurat în format hibrid la Institutul de Calcul Simbolic din Linz în perioada 12-15 septembrie. La simpozion au participat cercetători din 17 țări care au prezentat rezultate teoretice și aplicative în domeniul calculului simbolic și numeric, logicii computaționale, programării, fundamentelor teoretice ale informaticii, calculului distribuit și inteligenței artificiale, prelucrării imaginilor, securității cibernetice și tehnologiilor blockchain.
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, coordonatorul științific al simpozionului a fost Bruno Buchberger de la Universitatea Johannes Kepler din Linz, Austria, secondat Mircea Marin, Universitatea de Vest din Timisoara. Organizatorii locali au fost Tudor |Jebelean, Carsten Schneider și Temur Kutsia de la RISC, JKU Linz, Austria.
Începând cu anul 2005, lucrările selectate și prezentate sunt incluse într-un volum publicat de către IEEE Computer Society care este indexat în ISI Web of Science, SCOPUS și DBLP.
Programul fiecăreia dintre cele 4 zile ale simpozionului a inclus prezentări invitate susținute de către cercetători de top. La această ediție au fost invitați să susțină prezentări în plen: Michael Affenzeller (Universitatea Johannes Kepler din Linz, Austria), Camelia Chira (Universitatea Babeș Bolyai, Romania), Wolfgang Schreiner (Universitatea Johannes Kepler din Linz, Austria), Martina Seidl (Universitatea Johannes Kepler din Linz, Austria) și Robert Wille (Universitatea Tehnică din Munchen, Germania). Participanții au avut astfel ocazia să afle despre cele mai recente direcții de cercetare din diverse domenii corelate cu tematica simpozionului: raționament automat și probleme de satisfiabilitate, tehnici inteligente de analiză a datelor și de asistare a deciziei, calcul cuantic, verificarea automată a sistemelor software, analiza rețelelor complexe folosind inteligența artificială.
Programul simpozionului a inclus și cinci tutoriale, adresate în principal tinerilor cercetători, susținute de către Martina Seidl (Universitatea Johannes Kepler din Linz, Austria), Wolfgang Schreiner (Universitatea Johannes Kepler din Linz, Austria), Stefan Wagner (University of Applied Sciences Upper Austria), Wolfgang Windsteiger (RISC Linz, Austria), Markus Steindl (RISC Software GMBH, Austria) și Sandra Wartner (RISC Software GMBH, Austria) care au prezentat metode, soluții și instrumente software corelate cu probleme de logică computațională, verificarea automată a programelor, optimizare și prelucrarea limbajului natural având aplicații industrie și educație.
Pe lângă sesiunile dedicate principalelor secțiuni ale simpozionului s-au desfășurat și 4 workshop-uri pe tematici corelate (metode iterative în determinarea punctelor fixe, tehnici de prelucrare a imaginilor utilizate în medicină şi industrie, calcul inspirat de natură și regresie simbolică). Workshop-urile au permis stabilirea de contacte şi colaborări între cercetători din mediul academic şi cercetători din mediul industrial. In cadrul simpozionului au fost organizate trei sesiuni speciale: Special Session for PhD Students, Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains și Computer Algebra and Computational Logic.
Synasc 2022 a beneficiat de sprijinul partenerilor (RISC – Universitatea Johannes Kepler din Linz, Universitatea de Vest din Timișoara, Fundația Universității de Vest, IeAT Timișoara) și de sprijinul unor instituții și companii IT din Austria și România dintre care menționăm: RISC Software GmbH, University of Applied Sciences Upper Austria, Software Competence Center Hagenberg, Nokia România, Eta2U, MemIQ, Hella, GeniSoft, CyberBee, CMed, Continental.
Detalii suplimentare pot fi găsite la http://synasc.ro/2022 sau contactând organizatorii (prof. dr. Viorel Negru, viorel.negru@e-uvt.ro).
