Host: matematik a šéf Institutu teoretické informatiky Karlovy Univerzity Jaroslav Nešetřil