Institute for Formal Methods of Computer Science (FMI)
Formal Languages, Complexity Theory
The Staff of our Group
A Survey of our syllabus.
Research Contacts and Workshops
