- Úvod
- O nás
- Lidé
- Výzkum
- Knihovna
- Vzdělávání
- Kalendář událostí
- Kariéra
- Kontakty
25. 1. 2018 - 27. 1. 2018 | Prague Gathering of Logicians is an annual event upheld by the community of logicians in Prague, bringing together researchers with expertise in mathematics, computer science, philosophy, linguistics, and other territories or neighbours of logic. This year, the Gathering is held jointly with Beauty of Logic, organized irregularly in recent past by the Institute of Computer Science in honour of Petr Hájek, its late member and former director who passed away in December 2016.
- více informací -
29. 1. 2018 - 2. 2. 2018 | 44. mezinárodní konference o současných trendech v teorii a praxi výpočetní techniky, Krems an der Donau, Austria. SOFSEM (SOFtware SEMinar) je každoroční mezinárodní zimní konference věnovaná teorii a praxi informatiky. SOFSEM představuje nejnovější výsledky a vývoj akademického a průmyslového výzkumu v předních oblastech informatiky. První SOFSEM byla zorganizována v roce 1974.
- více informací -