„Česká otázka“ a dnešní doba
Konference u příležitosti 120. výročí vydání Masarykovy České otázky
Pořádají Katedra filosofie Fakulty filozofické Univerzity Pardubice, Oddělení pro studium moderní české filosofie FLÚ AV ČR, Ústav T. G. Masaryka a Masarykův ústav a Archiv AV ČR
Praha jako globální město
Den otevřených dveří Filosofického ústavu AV ČR
Problém demarkácie
Logicko-filosofický seminář
Apriorní, syntetické a analytické od středověku po současnou filosofii
Pořádají Filozofická fakulta UK a Filosofický ústav AV ČR
Redundantní číselné soustavy
Čtvrteční seminář CTS
Constructive Type Theory III
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
Měly by být tresty šity pachatelům na míru?
Čtvrteční seminář CTS
Augustinova představa anamnese mezi Platonem a Plotinem
Cyklus kolokvií k antické filosofii „work in progress"
History of Bible Translation
Pořádá Centrum biblických studií při FLÚ AV ČR a UK
Constructive Type Theory II
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
