- Home
- About us
- People & Research
- Library
- Results and awards
- Education
- Events calendar
11. 6. 2015 - 13. 6. 2015 | Non-classical mathematics is a study of both metamathematics based on some non-classical logic and (any part of) mathematics that is, or can in principle be, formalized in some non-classical logic.
- more info -
17. 9. 2015 - 21. 9. 2015 | 15. ročník konference ITAT sa bude konat v hotelu Čingov ve Spišské Nové Vsi.
- more info -
4. 11. 2015 - 5. 11. 2015 | Dny otevřených dveří Ústavu informatiky Akademie věd ČR se konají ve středu 4. 11. a ve čtvrtek 5. 11. 2015. Začátek prezentací: v 9:00 v místnosti 318.
23. 1. 2016 - 28. 1. 2016 | 42nd International Conference on Current Trends in Theory and Practice of Computer Science, OREA Vital Hotel Sklar, Harrachov, CR
- more info -