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.
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)
The article Martin Wirsing and Dieter Frey: Agile governance for innovating higher education teaching and learning will be published in Rivista di Digital Politics.
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.
Our paper "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR" has been accepted at ICSE 2022!
Loop Verification with Invariants and Contracts, paper accepted at VMCAI, extended version
Our article Falsification of Hybrid Systems Using Adaptive Probabilistic Search is published in the ACM Transactions on Modeling and Computer Simulation (TOMACS). Joint work with Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo.
Our paper JavaSMT 3: Interacting with SMT Solvers in Java has been published at CAV 2021.
Our paper PJBDD: A BDD Library for Java and Multi-Threading has been accepted at ATVA 2021! The preprint is online (see link before).
Cooperative Verifier-Based Testing with CoVeriTest published in journal STTT.
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.