Eestisse tuleb alates 6. juulist üle 400 arvutiteadlase, kelle hulgas on tegijaid maailma tippülikoolidest, alates MIT-st kuni Cambridge’i ja Oxfordi ülikoolideni.
Fotol on professor Pawel Sobocinski, foto allikas: ajakiri Mente et Manu
Tallinnas toimuvad 51. Rahvusvaheline automaatide, programmikeelte ja programmeerimise kollokvium, 39. Sümpoosion loogikast arvutiteaduses ning 9. Rahvusvaheline konverents formaalsetest struktuuridest arvutustes ja tõestustes. Konverentsid algavad kahe intensiivse töötoapäevaga, millele järgneb nädal, kus arvutiteadlased ja matemaatikud esitlevad oma uurimistöid. 12 peaesineja hulgas on ka Eesti juurtega Oxfordi professor Edith Elkind.
Teadlased üle maailma tulevad Tallinnasse, et tutvustada oma uusimaid avastusi ja arutada, kuhu arvutiteadus liigub. Peakorraldaja ja TalTechi professor Pawel Sobocinski sõnul on üritused pühendatud matemaatilise loogika rakenduste ja algoritmide viimaste uurimistulemuste esitlemisele. "Mõned tipphetked hõlmavad põnevaid arenguid kvantarvutuses ja tõenäosuslikus programmeerimises," ütles ta.
Kuigi TalTechil on au olla korraldaja, toimuvad konverentsid ja töötoad Tallinna Ülikooli ruumides. Konverentside korraldusmeeskonda juhivad professor Pawel Sobocinski ja professor Niccolo Veltri TalTechist. Ürituse ladusat toimumist toetavad EAS ja Tallinna linn.