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