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

• Veranstaltungen:
  • Sommersemester 2013
  • Wintersemester 2012/13
  • Übersicht,
  • KIST Kolloquium
• Diplom- und Masterarbeiten:
  
  • Themen,
  • Abgeschlossene
• Bachelorarbeiten:
  
  • Themen
  • Abgeschlossene

• Forschungsgebiete
• Publikationen
• DFG-Projekt: Automatischer Korrektheitsnachweis von Programmtransformationen
• SENSYBLE Doktorandenkolleq: SElf iNtegrating SYstems for Better Living Environments
  Das SENSYBLE-Doktorandenkolleg erforscht adaptive, sich selbst-verflechtende IT-Systeme für die Lebenswelten der Zukunft.
  Das Kolleg wird gemeinsam vom Fachbereich DCSM der Hochschule RheinMain und vom
  Institut für Informatik der Goethe-Universität Frankfurt am Main getragen.
• Projekt "Diamond"
• Graduiertenkolleg "Satzarten: Variation und Interpretation"
• Eintrag im Haskell Communities and Activities Report sowie Further Reading
• fertige Diplomarbeiten
• Events
  • CADE-24 - The 24th International Conference on Automated Deduction
    Lake Placid, New York, USA, 9. Juni 2013 - 14. Juni 2013
  • RTA 2013 - 24th International Conference on Rewriting Techniques and Applications
    Eindhoven, Niederlande, 24.Juni 2013 - 26. Juni 2013
    
• IBFI Schloss Dagstuhl
• Forschungslinks

• Nützliche Links
• Impressum

uni ffm © 1997, 2004