We are hiring new student research assistants and tutors. Apply now!
Martin Wirsing receives the Order of Merit of the Federal Republic of Germany (Bundesverdienstkreuz)


Student talks at LMU

We regularly host student talks in the context of seminars, projects, and theses. All students and staff are welcome to participate. A list of all upcoming talks can be found in the talk schedule.


  • 2022-03-08
    We are proud to announce that Prof. Dr. Dr. h.c. Martin Wirsing receives the Order of Merit of the Federal Republic of Germany (Bundesverdienstkreuz) from the president of Germany, Walter Steinmeier. (More Information)
  • 2022-03-07
  • 2022-02-16
    The 25th ETAPS is heading to Munich

    The European Joint Conferences on Theory and Practice of Software (ETAPS) is an international association of conferences, which was founded in 1998 and has been held annually since then. The thematic orientation of the ETAPS ranges from fundamental aspects of software systems, computer-aided formal analysis and verification methods for software and hardware systems to practical aspects of programming and software engineering. This includes various aspects of the system development process, including specification, design, implementation, analysis, and maintenance, as well as the languages, methods, and tools necessary for these tasks. Different gradations of theory and practice are represented, on the one hand focused on theory with practical motivation, and on the other hand also on well-founded practice. Many of the issues in software development are relevant to systems in general, including hardware systems.

    In 2022 ETAPS returns to Germany after 11 years. Prof. Kretinsky (TUM) and Prof. Beyer (LMU) have been appointed to organize the 25th edition of ETAPS in Munich, the first one held on site after the cancellation in 2020 and purely online event in 2021 due to Corona. All students and employees of TUM and LMU are cordially invited to attend the scientific program. (CoViD-related registration procedures might still be in place.) Attending the social events and coffee/lunch breaks requires a (paid) registration. The event is also supported by global industrial research leaders such as Google, Amazon, and Facebook, as well as successful companies with TUM roots, such as Celonis or Itestra.

    The ETAPS conferences consist of ESOP (31st European Symposium on Programming), TACAS (28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), FASE (25th International Conference on Fundamental Approaches to Software Engineering), and FoSSaCS (25th International Conference on Foundations of Software Science and Computation Structures). ETAPS 2022 will be accompanied by a series of scientific events, including 15 workshops, which will highlight a very broad spectrum of current research topics.

    The main conferences will take place on TUM campus Garching from April 4 to April 7, preceded by the workshops on April 2 and 3. More information is available at https://etaps.org.

  • 2022-02-14
  • 2021-10-12
    Loop Verification with Invariants and Contracts, paper accepted at VMCAI, extended version
  • 2021-07-22
  • 2021-07-16
  • 2021-07-05
  • 2021-04-25
  • 2021-04-21
    Deductive Verification via the Debug Adapter Protocol, with J. Blau and T. Murray. Bringing deductive verification into your IDE! To be presented at F-IDE 2021 (colocated with NFM), current draft.