- Aktuality
- Předmět a cíle výzkumu
- Rada Centra a výroční zprávy
- Pracoviště a kontakty
- Přednášky
- Konference a semináře
- Publikace
- Ukázky aplikací
- Zahraniční cesty
- Hosté centra
- Minulé události
- Vstup do Synergy
VYHLEDÁVÁNÍ
PRACOVIŠTĚ CENTRA
Výzkumné centrum
Data - Algoritmy - Rozhodování
Data - Algoritmy - Rozhodování
Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)
Zahraniční cesty
Pracovní cesta
Osoba:
Od:
Aug. 5 2007
Do:
Aug. 10 2007
Destinace:
Velká Británie
Hostitel:
University of Oxford
Účel:
konference "Algebraic and Topological Methods in Non-Classical Logics III"