Raziskovalni seminar FMF in IMFM namenjen študiju osnov matematike in teoretičnega računalništva, ki obsega predvsem naslednja področja: logika, teorija kategorij, teorija množic, semantika programskih jezikov, izračunljivost v topologiji, analizi in algebri.