(414 MB) ... Power of Convex Relaxations in Discrete Optimisation - Stanislav Živný, Doctor of Philosophy - profesorská přednáška

(158 MB) ... A Story of Checking LTL Models - doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. - profesorská přednáška

(112 MB) ... Binary decision diagrams for deciding satisfiability of bitvector formulae and DQBF - doc. RNDr. Jan Strejček, Ph.D. - profesorská přednáška

(1134 MB) ... Permutations - quasirandomness and property testing - doc. RNDr. Daniel Kráľ, Ph.D., DSc. - profesorská přednáška

(1319 MB) ... Valenční rámce sloves a reprezentace znalostí - doc. PhDr. Karel Pala CSc. - profesorská přednáška

(1251 MB) ... 10 years of DIVINE - The History, The Presence and The Future - doc. RNDr. Jiří Barnat, Ph.D. - profesorská přednáška

(1578 MB) ... Geometry Analysis of Protein Structures - Ten Years After - doc. Ing. Jiří Sochor, CSc - profesorská přednáška

(1478 MB) ... Faster Algorithm on Well-Structured Graph Classes - doc. RNDr. Petr Hliněný, Ph.D. - profesorská přednáška

(481 MB) ... Automatizace pořizování obrazů buněk v optické mikroskopii - doc. RNDr. Michal Kozubek. Ph.D. - profesorská přednáška

(454 MB) ... Identity in Computer and Communication Systems - doc. RNDr. Václav Matyáš, M.Sc., Ph.D. - profesorská přednáška

(452 MB) ... Rozsáhlé distribuované systémy v reálném světě - doc. RNDr. Luděk Matyska, CSc. - profesorská přednáška

(415 MB) ... Pravdepodobnostná verifikácia a verifikácia pravdepodobnostných systémov - doc. RNDr. Ivana Černá, CSc; profesorská přednáška

(581 MB) ... Kvantitativní analýza rekurzivních Markovových řetězců - doc. RNDr. Antonín KUČERA, Ph.D.; profesorská přednáška

(710 MB) ... Infinite - State Systems: Models and Verification - doc. RNDr. Mojmír KŘETÍNSKÝ, CSc; inaugurační přednáška

(721 MB) ... Detekce cyklu v masivních grafech - doc. RNDr. Luboš BRIM, CSc; inaugurační přednáška