• Prof. Dr. Manfred Schmidt-Schauß
• Secretary:
  • Bircan Dölek
• Research and Teaching Staff:
  • Nils Dallmeyer
  • Yunus Kutz
• Former Members:
  • Altug Anis
  • Prof. Dr. Arne Kutzner,
  • Dr. Matthias Mann,
  • Prof. Dr. Sven Eric Panitz,
  • Conrad Rau
  • PD Dr. habil. David Sabel
  • Prof. Dr. Marko Schütz-Schmuck

• Activities:
  • Summer 2019
  • Winter 2018/19
  • Overview
• Theses:
  • Bachelor Theses [Topics, Finished]
  • Master Theses [Topics, Finished]
  • Finished Diploma Theses

• Research Interests
• Publications
• DFG Research Project: Automatic correctness proofs of program transformations
• SENSYBLE Doktorandenkolleq: SElf iNtegrating SYstems for Better Living Environments
• Project "Diamond"
• Graduate Program "Sentence Types: Variation and Interpretation"
• Entry in the Haskell Communities and Activities Report as well as Further Reading
• Master's Theses
• Events
  • 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
    Warsaw, Poland, 29. July - 1. July 2015
  • Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
    Warsaw, Poland, 2. July 2015
  • International Conference on Rewriting, Deduction, and Programming (RDP 2015)
    Warsaw, Poland, 29. July - 3. July 2015.
  • International School on Rewriting ISR 2015
    Leipzig, Germany, 10. August - 14. August 2015
• IBFI Schloss Dagstuhl
• Research links

• Favourite Links
• Documentation

uni ffm © 1997, 2004