Hauptseminar Mathematische Logik und Theoretische Informatik

Die Vorträge sind üblicherweise dienstags um 16 Uhr c.t. in Raum 134 des Gebäudes INF 294.
(The talks are usually on Tuesday at 4 p.m. in Room 134 of building INF 294.)


 

Vorträge im WS 2015/2016






13. Oktober 2015
Patrick Scholz, Universität Heidelberg
Fixpunktsätze in der Rekursionstheorie


10. November 2015
Borislav Vlajic, Universität Heidelberg
Die Anzahl der abzählbaren nicht isomorphen Modelle einer vollständigen Theorie über einer abzählbaren Sprache