Lehrstuhl für Theoretische Informatik: Startseite

Aktuelles und Termine

18.01.12 - Oberseminarvortrag: Heribert Vollmer

Prof. Dr. Heribert Vollmer (Hannover) spricht am 18.01.2012 um 17.00 Uhr in Raum B104/5 zum Thema "Verifying Proofs in Constant Depth". Interessenten sind herzlich eingeladen.

» mehr

Archiv - RSS-Newsfeed

Lehrstuhl für Theoretische Informatik

Quick Links

Veranstaltungen Wintersemester 2011/12
Veranstaltungen zukünftiger Semester

Quick Navigation

Institut für Informatik
Fakultät für Mathematik und Informatik
Universität
Bibliothek
Würzburg
Terminkalender
Lageplan