Špičky teoretické informatiky se setkaly v Praze na konferenci STOC 10.7.2025 | Matematicko-fyzikální fakulta UK Annual ACM Symposium on Theory of Computing, nejvýznamnější konference v oblasti teoretické informatiky, se v posledním červnovém týdnu konala v pražském hotelu Pyramida, kam dorazilo na 460 účastníků z více jak 20 zemí (zhruba 30 účastníků muselo svoji účast zrušit kvůli aktuálnímu světovému dění). Nabitý program TheoryFest nabídl čtyři paralelní workshopy, řadu zvaných přednášek, online poster session na platformě GatherTown a v neposlední řadě prezentace více jak dvou stovek přijatých konferenčních příspěvků shrnujících nejnovější poznatky z oblasti teoretické informatiky. Mezi zvané řečníky letos patřila Monika Henzinger z rakouského Institute of Science and Technology, přední odbornice na algoritmy a datové struktury, která se ve své přednášce věnovala v prostředí dynamických dat. Inspirativní přednášku přednesl také Eli Ben-Sasson, zakladatel a CEO StarkWare. Přiblížil vznik a vývoj firmy, která se zabývá technologií používanou pro škálování , a na svém příkladu ilustroval cestu teoretika a teoretických znalostí do praxe. Skupinu „keynote speakers“ doplnil Scott Aaronson z University of Texas at Austin, který proslul mimo jiné svým vlivným blogem, a na konferenci mluvil o aktuálním dění v oblasti v kvantových počítačů. Sofya Raskhodnikova z Boston University se ve své plenární přednášce, která cílila především na nastupující generaci vědců a akademiků, věnovala v rámci programu TCS For All. V průběhu konference bylo předáno také několik ocenění. Knuth Prize za celoživotní přínos počítačovým vědám si odnesl Micha Sharir z Tel-Aviv University a při té příležitosti přednesl také plenární přednášku o výpočetní geometrii. Eshan Chattopadhyay z Cornell University a David Zuckerman z University of Texas at Austin převzali Gödel Prize za svou práci na dvoucestných extraktorech. Oceněna byla též šestice článků publikovaných v rámci starších ročníků konference, které se svým přínosem dlouhodobě a nesmazatelně zapsaly do historie teoretické informatiky. Konference STOC 2025 se konala pod záštitou ACM-SIGACT a organizoval ji tým z MFF UK vedený prof. Michalem Kouckým. Příspěvky vybíral mezinárodní programový výbor vedený Nikhilem Bansalem z University of Michigan, Ann Arbor, výběr workshopů zajistil výbor vedený Raghu Mekou z University of California at Los Angeles. Konferenci finančně podpořila celá řada sponzorů z průmyslu, z českých firem to byla skupina a nadace RSJ. https://www.mff.cuni.cz/cs/verejnost/aktuality/spicky-teoreticke-informatiky-se-setkaly-v-praze-na-konferenci-stoc