Systemadministrator der Theorieabteilungen (TI, ALG)

<Image Horst Prote>
Telefon +49-(0)711-685 88328
Telefax +49-(0)711-685 88310
Raum 1.164
Anschrift Universität Stuttgart, FMI
Universitätsstr. 38
D-70569 Stuttgart
E-Mail  

  • Lokaler Gentoo Linux Source Mirror; nur http, kein ftp und nur innerhalb der Informatik zugreifbar.
  • trd2 (Teubner Reproduktionsreife Druckvorlagen) LaTeX-Klasse für die Formate 17x24 und TSB.
  • arbeitszeit (nur intern): Simples Perl Skript zur Verwaltung der Arbeitszeitlisten; verwendet iviforms.cls (zu finden im lokalen IvI TeX-Baum) zum Drucken.
  • Zertifikat der FMI-CA in diversen Formaten: [CRT], [DER], [PEM], [TXT]

News

[Jun’17] Lukas’ paper “Green’s Relations in Finite Transformation Semigroups” and Armin’s paper “The conjugacy problem in free solvable groups and wreath product of abelian groups is in $\text{TC}^0$ \text{TC}^0 “ both have received a Best Paper Award at the 12th International Computer Science Symposium in Russia (CSR).