2. 11. 2015
14.00
Diskuse
Praha jako globální město
Marek Hrubec, Milan Kreuzzieger
doc. PhDr. Marek Hrubec, Ph.D., PhDr. RNDr. Milan Kreuzzieger, Ph.D.
AKC, Husova 4a, Praha 1
Den otevřených dveří Filosofického ústavu AV ČR
2. 11. 2015
15.50
Seminář
Problém demarkácie
Miloš Taliga
Miloš Taliga, FF Univerzity Mateja Bela v Banskej Bystrici
FF UK, nám. Jana Palacha 2, m. č. 217
Logicko-filosofický seminář
30. 10. 2015
10.00
Workshop
Apriorní, syntetické a analytické od středověku po současnou filosofii
FF UK, Nám. Jana Palacha 2, m. 201
Pořádají Filozofická fakulta UK a Filosofický ústav AV ČR
29. 10. 2015
10.00
Seminář
Redundantní číselné soustavy
Petr Kůrka
prof. RNDr. Petr Kůrka, CSc., CTS
CTS, Husova 4, Praha 1
Čtvrteční seminář CTS
22. 10. 2015
14.00
Přednáška
Constructive Type Theory III
Ansten Klev
Ansten Klev
Ústav dějin umění, Husova 4, Praha 1, zased. m.
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
22. 10. 2015
10.00
Seminář
Měly by být tresty šity pachatelům na míru?
Josef Montag
Josef Montag, Provozně ekonomická fakulta Mendelovy univerzity v Brně
CTS, Husova 4, Praha 1
Čtvrteční seminář CTS
16. 10. 2015
16.30
Kolokvium
Augustinova představa anamnese mezi Platonem a Plotinem
Lenka Karfíková
prof. Lenka Karfíková
FLÚ AV ČR, Jilská 1, Praha 1, zasedací místnost CMS
Cyklus kolokvií k antické filosofii „work in progress"
15. 10.
–
16. 10. 2015
Konference
History of Bible Translation
Vila Lanna, V sadech 1, Praha 6
Pořádá Centrum biblických studií při FLÚ AV ČR a UK
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.
–
16. 10. 2015
Seminář
Pojem vědomí: jeho rozmanitost a jednota
AKC, Husova 4a, Praha 1
Odborný seminář pod záštitou ÚFAR FF UK a Filosofického ústavu AV ČR
