EȘTI AICI:
Simpozionul internațional SYNASC 2020 – Symbolic and Numeric Algorithms for Scientific Computing – ediția 22

Simpozionul internațional SYNASC 2020 – Symbolic and Numeric Algorithms for Scientific Computing – ediția 22

Share on facebook
Share on twitter
Share on linkedin
Share on pinterest
Share on email
Share on print

Departamentul de Informatică din cadrul Facultății de Matematică și Informatică organizează, anual din 1999, simpozionul internațional SYNASC 2020 în colaborare cu Institutul de Calcul Simbolic al Universității Johannes Kepler din Linz, Austria și Institutul e-Austria din Timișoara.

In acest an, la simpozionul desfășurat, în variantă online, în perioada 1-4 septembrie au participat 90 de cercetători din 16 ță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, coordonatorul științific al simpozionului a fost prof.dr Elisabetta Di Nitto de la Politecnico di Milano, Italy.  Î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.  

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: Damian Tamburri (Technical University of Eindhoven, The Netherlands), Gabriela Csurka (Naver Labs Europe, France), Ioana Leustean (University of Bucharest, Romania), Letizia Jaccheri (Norwegian University of Science and Technology, Norway), Moshe Vardi (Rice University, USA), Roman Beck (University of Copenhagen, Denmark), and Stephen M. 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 tematica simpozionului:  aplicații ale automatelor celulare, tehnici de analiză automată a programelor, abordări actuale în rezolvarea problemelor de optimizare, aplicații ale roboticii, metode hibride în geometria algebrică, modele formale pentru analiza sistemelor de stocare distribuită a datelor, algoritmi specifici pentru prelucrări simbolice.  

Pe lângă aceste prezentări, au fost incluse în program două tutoriale, adresate în principal tinerilor cercetători, susținute de către Daniel Vladusic și Dragan Radolovic (SODALITE Project Team –  XLAB Slovenia) – prezentare cu titlul „Infrastructure as Code for Heterogeneous Computing”, Răzvan Pascanu și Viorica Pătrăucean (DeepMind) – prezentare cu titlul „Deep Learning at scale with applications to Computer Vision”.

Pe lângă sesiunile dedicate principalelor secțiuni ale simpozionului s-au desfășurat și 6 workshop-uri pe tematici corelate (sisteme de agenți pentru rezolvarea problemelor complexe, metode iterative în determinarea punctelor fixe, tehnici de prelucrare a imaginilor utilizate în medicină şi industrie,  calcul inspirat de natură și geoinformatică) și  2 sesiuni speciale(Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains și o sesiune pentru studenții doctoranzi). Workshop-urile și sesiunile speciale au permis stabilirea de contacte şi colaborări între cercetători din mediul academic şi cercetători din mediul industrial.

Synasc 2020 a beneficiat de sprijinul partenerilor: Ministerul Cercetării și Inovării, Consiliul Judeţean Timiş, Primaria Timișoara, Fundația Universității de Vest și de sprijinul unor firme din domeniul IT dintre care menționăm:  IBM, ETA2U și Intel (în calitate de sponsori principali), respectiv, Continental Automotive, Cmed, Nokia, CyberBee Software și MemIQ în calitate de sponsori.

Detalii suplimentare pot fi găsite la http://synasc.ro/2020  sau  contactând organizatorii  (prof. dr. Viorel Negru,   viorel.negru@e-uvt.ro).

UVT utilizeaza fisiere de tip cookie pentru a personaliza si imbunatati experienta ta pe Website-ul nostru.

Te informam ca ne-am actualizat politicile pentru a integra in acestea si in activitatea curenta a UVT cele mai recente modificari propuse de Regulamentul (UE) 2016/679 privind protectia persoanelor fizice in ceea ce priveste prelucrareadatelor cu caracter personal si pentru a citi si intelee continutul Politicii Cookie.

Prin continuarea navigarii pe Website-ul nostru confirmi acceptarea utilizarii fisierelor de tip cookie conform Politicii de Cookie.

Nu uita totusi ca poti modifica in orice moment setarile acestor fisiere cookie urmand instructiunile din Politica de Cookie.