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
- Čtvrtek 18. 12. - Sofia Brenner: Graphs with small EPPA witnesses
Novinky
- 40. ISTS kolokvium - Dr. Terezie Nekvindová - Zdánlivě okrajové činnosti Stanislava Kolíbala, 2.prosince 2025
- 39. ISTS kolokvium - prof. Miroslav Petříček - Krajina a čas, 29. října 2025
- STTI 2025 - Současné trendy teoretické informatiky, 25. - 26. září 2025
- 28. července - 1. srpna 2025: Midsummer Combinatorial Workshop - MCW 2025
- 30. června - 4. července 2025: Přednáškový kurz Algomanet
- 21. května 2025: 128. Matematické kolokvium - Marc Mézard Statistical physics of generative diffusion
- 6. května 2025: 127. Matematické kolokvium - Paolo Mancosu How many points are in a line segment? From Grosseteste to Numerosities
- 29. července - 2. srpna 2024: Midsummer Combinatorial Workshop - MCW 2024
- 1. července - 5. července 2024: Czech Summer School on Discrete Mathematics 2024
