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:
Nachrichten RSS
Termine
International Day 2018 an der HTWK 02.05.2018 13:00 - 17:00 — Nieper-Bau der HTWK
Lunch & Learn: Videos in der Hochschullehre 08.05.2018 12:30 - 13:30 — Foyer und HS 001, Nieper-Bau
Verteidigungen
Masterverteidigung Michael Horn Raum: Z417
Beginn: 03.05.18 - 09:30
Masterverteidigung Philipp Anders Raum: Z417
Beginn: 03.05.18 - 11:30
Masterverteidigung Tino Weidenmüller Raum: Z427
Beginn: 04.05.18 - 11:30