Institute for Formal Methods of Computer Science (FMI)
Short summary of this page (160 digits).
The Staff of our Chair
A Survey of our syllabus.
Research Contacts and Workshops
