pátek 28. června 2019

Semináře

  • Seminář Hora Informaticae
    1. 7. 2019 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
    Deepak Kapur (Dept. of Computer Science, Univ. of New Mexico): Interpolant generation algorithms based on quantifier elimination

Odkazem

Věda
Školství
Ceny
Výzvy
Různé

neděle 23. června 2019

Odkazem

Věda a výzkum Školství Výzvy Různé

pátek 14. června 2019

Semináře

Odkazem

Věda
Školství
Výzvy
Akce
Ceny
Různé

neděle 9. června 2019

Odkazem

Věda a výzkum Výzvy Akce Různé

pátek 7. června 2019

Panelová diskuse: Robot a jeho (s)vědomí

se v sobotu 8. června od 13:30 
konala v Keplerově sálu na výstavišti v Letňanech panelová diskuse na téma 
"Robot a jeho (s)vědomí",
moderátor V. Moravec.

Pozvánku do diskuze přijali:
PhDr. David Černý, Ph.D.
Mgr. Robin Kopecký
PhDr. Tomáš Hříbek, Ph.D.
prof. RNDr. Jiří Wiedermann, DrSc.