Informatický ústav Univerzity Karlovy se zabývá výzkumem a výukou v oblasti teoretické informatiky a diskrétní matematiky, s důrazem na zapojení do velkých výzkumných projektů a dalších aktivit na celouniverzitní a mezinárodní úrovni.
Nadcházející polední přednášky
Novinky
- 9. listopadu 2023: 125. Matematické kolokvium - Andrew Granville What is the role proof plays in pure mathematical research and will AI change that?
- 2. října 2023: 124. Matematické kolokvium - Luca Trevisan Sparse Approimations of Graphs, Hypergraphs and Matrices
- 28. srpna - 1. září 2023: European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2023
- 31.července - 4. srpna 2023: Midsummer Combinatorial Workshop - MCW 2023
- 5. - 6. června 2023: STTI 2023 - Současné trendy teoretické informatiky
- 2. - 4. června 2023: Konference IGAFIT Highlights of Algorithms (HALG 2023)
- 6. dubna 2023: 123. Matematické kolokvium - William Cook The Traveling Salesman Problem
- 2. února 2023: 122. Matematické kolokvium - Alexander David Scott Graphs of large chromatic number
- 5. ledna 2023: 121. Matematické kolokvium - Ehud Hrushovski Elementary Ramsey Theory, Approximate Subgroups and a Model-Theoretic Galois Grou
