Mathematical Institute of the Czech Academy of
Sciences
Department of Mathematical Logic and Theoretical Computer Science
Žitná 25
115 67 Praha 1
Czech Republic
Email address:
Please, do not send me any
papers for
refereeing!
Researcher ID: D-5437-2014
Přednášky a semináře
Logika
v informatice
NMAI 067, podzim 2019. Přednáška se koná ve čtvrtek od 11:00 v Matematickém ústavu.
Seminář z
výpočetní složitosti (complexity
seminar) TIN050, 2019-2020.
Matematický ústav AV ČR, pátek 13:30.
Logický
seminář (logic seminar) NAIL080, 2019-20. Matematický
ústav AV ČR, pondělí 13:30
(sledujte oznámení, semináře se konají nepravidelně)
Pro studenty
Požadavky ke zkoušce ze složitosti
Témata doktorských
prací
Několik rad jak psát diplomové a
doktorské práce.
web-board
(only for our department)