Departamentul de Informatică din cadrul Facultății de Matematică și Informatică organizează, anual din 1999, simpozionul internațional SYNASC (https://synasc.ro/2021) î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, la simpozionul desfășurat, în variantă online, în perioada 7 – 10 decembrie au participat cercetători din 24 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, prelucrarea imaginilor, securitate cibernetica și 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 Carsten Schneider de la Universitatea Johannes Kepler din Linz, Austria, secondat local de Mircea Marin, Universitatea de Vest din Timisoara. Î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 patru 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: Johannes Bluemlein, Deutsches Elektronen Synchrotron DESY, Germany; Cristian Calude, University of Auckland, New Zealand; Dragoș Teodor Gavrilut, Alexandru Ioan Cuza University și Cyber Threat Intelligence Lab – Bitdefender Romania; Tetsuo Ida, University of Tsukuba, Japan; Temur Kutsia, Johannes Kepler University, Austria; Peter Paule, Johannes Kepler University, Austria; Stephen Watt, University of Waterloo, Canada. Participanții au avut astfel ocazia să afle despre cele mai recente direcții de cercetare din diverse domenii corelate cu tematică simpozionului: metode de algebră computațională aplicate în fizică, rezultate actuale în informatica teoretică referitoare la incompletitudine și nedecidabilitate, modele computaționale pentru origami digital, rezultate din domeniul raționamentului automat, inclusiv aplicații ale sistemelor de calcul simbolic în automatizarea raționamentului matematic, aspecte critice în implementarea sistemelor de calcul simbolic. Pe lângă aceste prezentări, au fost incluse în program trei tutoriale, adresate în principal tinerilor cercetători, susținute de către Laura Kovacs (Universitatea Tehnica din Viena, Austria) – Automated Reasoning with Vampire, Ioana Cleopatra Pau (Universitatea Johannes Kepler din Linz, Austria) – Symbolic Techniques for Fuzzy Relations și Tetsuo Ida (Universitatea din Tsukuba, Japonia) – Origami programming în E-origami system Eos. A fost organizat și un track industrial, avându-l invitat pe Florin Mănăilă de la IBM Germania (cu prezentarea IBM Federated Learning).
Pe lângă sesiunile dedicate principalelor secțiuni ale simpozionului s-au desfășurat și trei 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ă). Workshop-urile au permis stabilirea de contacte şi colaborări între cercetători din mediul academic şi cercetători din mediul industrial.
În cadrul simpozionului au fost organizate două sesiuni speciale: Special Session for PhD Students, Special session – Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains – ACSSA 2021
Colocat cu SYNASC 2021 a fost și Working Formal Methods Symposium – FROM 2021 al cărui program a inclus cinci prezentări invitate corelate cu tematică.
Synasc 2021 a beneficiat de sprijinul partenerilor: Universitatea de Vest din Timișoara, Fundația Universității de Vest, RISC – Universitatea Johannes Kepler din Linz, IeAT Timișoara și de sprijinul unor firme din domeniul IT dintre care menționăm: IBM, ETA2U, Nokia, INTEL, Hella, Genisoft, Continental Automotive, Cmed, CyberBee Software și MemIQ în calitate de sponsori.
Evenimentul a fost dedicat aniversării a 50 de ani de la înființarea secției de Informatică la Universitatea de Vest din Timișoara.
Detalii suplimentare pot fi găsite la http://synasc.ro/2021 sau contactând organizatorii (prof. dr. Viorel Negru, viorel.negru@e-uvt.ro).
