Direkt zum InhaltDirekt zur Navigation

Masterverteidigung Mario Wenzel

Was Masterverteidigung
Wer Mario Wenzel
13IN-M
Wann 26.10.2016
von 13:00 bis 14:10
Wo Z417
Termin übernehmen vCal
iCal

Thema:
Propositional Sieving of Single-Rule String Rewriting Systems Using Binary Decision Diagrams

Gutachter & Betreuer:
Johannes Waldmann, HTWK, IMN
Alfons Geser, HTWK, EIT



(Vortrag und Diskussion in deutscher Sprache)

abgelegt unter:
Nachrichten RSS
  • 22.02.2017
    Kompilation von Constraint-Programmen: Erfolgreicher Abschluß eines kooperativen Promotionsverfahrens
    Herr Diplom-Informatiker (FH) Alexander Bau, Absolvent unserer ...
    Weiterlesen
Termine
JUG Saxony Camp 2017 an der HTWK 31.03.2017 09:00 - 18:00 — NIEPER-Bau der HTWK Leipzig
SKILL 2017 / Call for Papers 30.04.2017 - 30.09.2017
Verteidigungen
Masterverteidigung Anne Schüßler Raum: Z 417
Beginn: 10.03.17 - 10:00
Masterverteidigung Jonny Rillich Raum: Z 417
Beginn: 10.03.17 - 11:30
Masterverteidigung Gregor Schuldt Raum: Raum A3 01 (Sophus-Lie-Seminarraum), Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, 04103 Leipzig
Beginn: 22.03.17 - 14:00