• Prof. Dr. Manfred Schmidt-Schauß
• Sekretariat:
  • Angelika Schifignano
• Programmierer:
  • Dieter Hamm
• Wissenschaftliche Mitarbeiter:
  • Conrad Rau
  • Dr. David Sabel
• Ehemalige wiss. Mitarbeiter und Doktoranden:
  
  • Prof. Dr. Arne Kutzner,
  • Dr. Matthias Mann,
  • Prof. Dr. Sven Eric Panitz,
  • Dr. Marko Schütz

• Veranstaltungen:
  • Wintersemester 2009/10
  • Sommersemester 2009
  • Übersicht,
  • KIST Kolloquium
• Diplomarbeiten:
  
  • Themen,
  • Abgeschlossene
• Bachelorarbeiten:
  
  • Themen
  • Abgeschlossene

• Forschungsgebiete
• Publikationen
• Eintrag im Haskell Communities and Activities Report sowie Further Reading
• Projekt "Diamond"
• Graduiertenkolleg "Satzarten: Variation und Interpretation"
• fertige Diplomarbeiten
• Events
  • 16. Jahrestagung der GI-Fachgruppe "Logik in der Informatik", November 6-7, 2009, Frankfurt am Main
• IBFI Schloss Dagstuhl
• Forschungslinks

• Nützliche Links
• Dokumentationen

• Impressum

uni ffm © 1997, 2004