Summer 2012

  • Algorithmik
    Prof. Volker Diekert, Alexander Lauser
    Vorlesung
    (Zielgruppe: Fachstudium Bachelor Informatik)

  • Das Buch der Beweise
    Manfred Kufleitner
    Seminar
    (Zielgruppe: Fachstudium Bachelor Informatik, Grund-/Hauptstudium Diplom Informatik)

  • Ergänzungen zu Mathematik II
    Prof. Eberhard Teufel (V), Jonathan Kausch (Ü), Friederike Stoll (Ü)
    Vortrags- und Zusatzübung
    (Zielgruppe: Grundstudium Bachelor Informatik bzw. Softwaretechnik)

  • Ergänzungen zur Theoretischen Informatik
    Jürn Laun
    Vortragsübung
    (Zielgruppe: Grundstudium Bachelor Informatik bzw. Softwaretechnik)

  • Formale Sprachen und Automatentheorie
    Prof. Ulrich Hertrampf (V), Tobias Walter (Ü)
    Vorlesung
    (Zielgruppe: Grundstudium Bachelor Informatik bzw. Softwaretechnik)

  • Graphentheorie
    Manfred Kufleitner
    Vorlesung
    (Zielgruppe: Grund-/Hauptstudium Diplom Informatik/Softwaretechnik, Bachelor Fachstudium Informatik/Softwaretechnik)

  • Komplexitätstheorie
    Prof. Ulrich Hertrampf
    Vorlesung
    (Zielgruppe: Grund-/Hauptstudium Diplom Informatik)

News

[Oct’18] The paper “Worst-Case Efficient Sorting with QuickMergesort” by Stefan Edelkamp and Armin Weiß has been accepted at ALENEX 2019.

[Jun’18] At CCC 2018, Lukas Fleischer received a Best Student Paper Award for his submission “On the Complexity of the Cayley Semigroup Membership Problem”.

[Jun’18] The paper “Testing Simon’s congruence” by Lukas Fleischer and Manfred Kufleitner was accepted at MFCS 2018.

[Jun’18] The paper “The Intersection Problem for Finite Semigroups” by Lukas Fleischer was accepted at DLT 2018.

[Apr’18] The paper “The isomorphism problem for finite extensions of free groups is in PSPACE” by Géraud Sénizergues and Armin Weiß was accepted at ICALP 2018.

[Apr’18] The paper “On the Complexity of the Cayley Semigroup Membership Problem” by Lukas Fleischer was accepted at CCC 2018.

[Jan’18] On March 24-29, 2019 Volker Diekert, Markus Lohrey, Olga Kharlampovich and Alexei Miasnikov will organize the Schloss Dagstuhl Seminar “Algorithmic Problems in Group Theory”.

[Dec’17] The paper “The Intersection Problem for Finite Monoids” by Lukas Fleischer and Manfred Kufleitner was accepted at STACS 2018.

[Jun’17] At the 12th International Computer Science Symposium in Russia (CSR), Lukas Fleischer and Manfred Kufleitner received a Best Paper Award for their publication “Green’s Relations in Finite Transformation Semigroups”, and Armin Weiss received a Best Paper Award for “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ which is joint work with Alexei Miasnikov and Svetla Vassileva.