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
21. Fakultätsratssitzung IMN 27.09.2017 14:30 - 16:30 — Z417
World Usability Day 09.11.2017, HTWK-Veranstaltung 09.11.2017 09:00 - 17:00 — HTWK Leipzig, Gutenberg-Bau
Verteidigungen
Bachelorverteidigung Aruscha Kramm Raum: Z 417
Beginn: 26.09.17 - 09:00
Masterverteidigung Alexander Twrdik Raum: Z417
Beginn: 26.09.17 - 14:00
Masterverteidigung Sebastian Knabe Raum: ***Li 125***
Beginn: 27.09.17 - 09:00
Bachelorverteidigung Patrick Jeckel Raum: *** Li 125 ***
Beginn: 27.09.17 - 10:30
Bachelorverteidigung Martin Schmidt Raum: Z 417
Beginn: 27.09.17 - 12:30