Kalendář událostí a konferencí

  • 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.
    - více informací -

  • 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.
    - více informací -

  • 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 | 42. mezinárodní konference o současných trendech v teorii a praxi výpočetní techniky, OREA Vital Hotel Sklář, Harrachov, ČR
    - více informací -