15. 10. 2015
14.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS
Constructive Type Theory II
Ansten Klev
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
15. 10. 2015
–
16. 10. 2015
Seminář
AKC, Husova 4a, Praha 1
Pojem vědomí: jeho rozmanitost a jednota
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
15. 10. 2015
10.00
Seminář
CTS, Husova 4, Praha 1
15. 10. 2015
14.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Mgr. Petr Pavlas, Ph.D., Filozofická fakulta ZČU v Plzni
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
12. 10. 2015
15.50
Seminář
FF UK, nám. Jana Palacha 2, m. č. 217
08. 10. 2015
10.00
Přednáška
FLÚ AV ČR, Jilská 1, Praha 1, zasedací m.
Constructive Type Theory I
Ansten Klev
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
08. 10. 2015
15.00
Přednáška
AKC, Husova 4a, Praha 1
Will Future Artificial Intelligence Threaten Mankind?
prof. Andrew Woodfield, University of Bristol
Pořádá Oddělení analytické filosofie
07. 10. 2015
13.00
Kolokvium
FLÚ AV ČR, Jilská 1, Praha 1
Kognice mezi filosofií, psychologií a informatikou
Kolokvium se koná v rámci výzkumného tématu Struktury komunikace, jazyka a myšlení Strategie AV 21
04. 10. 2015
17.00
Přednáška
Pražská křižovatka, Zlatá ul., Praha 1
Black Earth: Some Problems in Political Theory in Relation to the Holocaust
prof. Timothy Snyder (Yale University, IWM)
Pořádají Centrum teoretických studií a Nadace Dagmar a Václava Havlových VIZE 97
01. 10. 2015
10.00
Seminář
CTS, Husova 4, Praha 1
Ikonografie Mistra Jana Husa v 15.-16. století
Jan Royt, Univerzita Karlova v Praze
Čtvrteční seminář CTS
