Events calendar

  • Prague seminar on Non-Classical Mathematics

    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 -

  • ITAT 2015

    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 -

  • Dny otevřených dveří 2015

    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.

  • SOFSEM 2016

    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 -