Direkt zum InhaltDirekt zur Navigation

Masterverteidigung Martin Finke

Was Masterverteidigung
Wer Martin Finke
13MI-M
Wann 27.01.2016
von 15:00 bis 16:10
Wo Z417
Termin übernehmen vCal
iCal

Thema:
Equisatisfiable SAT Encodings of Arithmetical Operations

Gutachter & Betreuer:
Johannes Waldmann, HTWK
Alexander Bau, HTWK

abgelegt unter:
Termine
14. WIK-Leipzig 2017 an der HTWK Leipzig 29.11.2017 10:00 - 16:00 — Foyer des Nieper-Baus der HTWK
Verteidigungen
Masterverteidigung Johannes Elsmann Raum: Z 417
Beginn: 28.11.17 - 14:00
Masterverteidigung Tim Menapace Raum: Z 417
Beginn: 07.12.17 - 11:15