Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Verteidigung Diplomarbeit: Alexander Boll

Wann 28.02.2019 ab 09:15 (Europe/Berlin / UTC100) iCal
Wo Rudower Chaussee 25, Haus 3, R.101
Kontaktname

Am Donnerstag, 28. Februar um 9.15 Uhr wird Herr Alexander Boll in Raum 3.101 seine Diplomarbeit mit dem Titel

Formale Instanzverifikation zertifizierener Algorithmen: Fallstudie Zweifärbbarkeit & alternative Konsistenzprüfung

verteidigen.

 

Gutachter: W. Reisig und N. Schweikardt
 


Alle Interessierten sind herzlich eingeladen.