• Prof. Dr. Manfred Schmidt-Schauß
• (Ehemaliges) Sekretariat:
  • Bircan Dölek
• Ehemalige wiss. Mitarbeiter und Doktoranden:
  
  • Yunus Kutz
  • Altug Anis
  • Dr. Nils Dallmeyer
  • 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

• Veranstaltungen:
  • Sommersemester 2024
  • Wintersemester 2023/24
  • Sommersemester 2023
  • Wintersemester 2022/23
  • Sommersemester 2022
  • Wintersemester 2021/22
  • Sommersemester 2021
  • Sommersemester 2020
  • Wintersemester 2019/20
• Abschlussarbeiten:
  
  • Bachelorarbeiten [abgeschlossene Arbeiten]
  • Masterarbeiten [abgeschlossene Arbeiten]
  • abgeschlossene Diplomarbeiten

• Webinterface zur DPLL Prozedur
• Webinterface zum Allenschen Abschluss

• Publications (DBLP)
• Publikationen (incl. reports)
• fertige Master- und Diplomarbeiten
• Events
  • 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
    July 3 - July 6, 2023, Rome, Italy
  • 29th international Conference on Automated Deduction (CADE-29)
    July 1 - July 4, 2023, Rome, Italy
  • UNIF 2023: The 37th International Workshop on Unification
    July 2, 2023, Rome, Italy
  • 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
    July 1, 2023, Rome, Italy
  • Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
    July 17 - July 24, 2021, Buenos Aires, Argentina !online!
  • The 28th International Conference on Automated Deduction (CADE-28)
    July 11 to 16, 2021, Pittsburgh, Pennsylvania, USA !virtual!
• Schloss Dagstuhl Leibniz-Zentrum für Informatik
• Forschungslinks

• Initiative: Atomkrieg aus Versehen
• Nützliche Links
• Impressum
• Datenschutzerklärung

uni ffm © 1997, 2004