News
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.
News
- 2023-11-08
We are very happy to announce that the joint research training group ConVeY (Continuous verification of cyber-physical systems) of LMU and TUM got extended by the Deutsche Forschungsgemeinschaft (DFG). That is, the research training group that started 2019 gets funding for additional four and half years. The complete press release of the DFG can be found here. - 2023-09-06
Our paper on "Deductive Verification of Leaked Information in Concurrent Applications" has been accepted at CCS 2023. Joint work by Toby Murray, Mukesh Tiwari, Gidon Ernst, and David Naumann. - 2023-07-31
Our paper on "Insecurity Separation Logic" has been accepted at ICFEM 2023. Joint work with Toby Murray and Pengbo Yan. - 2023-07-06
Our papers "CEGAR-PT: A Tool for Abstraction by Program Transformation", "CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification", and "LIV: Invariant Validation Using Straight-Line Programs" have been accepted at ASE 2023! - 2023-05-04
We receive 4 Contributor Projects for Google Summer of Code 2023. We sincerely welcome Bas Laarakker, George Granberry, Jia Sun, and Julius Brehme to work with us on exciting projects for CPAchecker. and JavaSMT. Learn more about their projects on our Google Summer of Code page. - 2023-05-02
Dirk Beyer and Stefan Löwe received the ETAPS Test-of-Time award ETAPS 2023 from Don Sannella, for their FASE '13 paper. Presentation at ETAPS '23: Slides. 
- 2023-02-22
As a participant of Google summer of code Google pays you for contributing to an open-source project. We provide projects and mentorship by experts for your potential participation. - 2023-01-20
Our paper "CoVeriTeam Service: Verification as a Service" has been accepted at ICSE 2023! - 2023-01-20
Our paper "Can we Communicate? Using Dynamic Logic to Verify Team Automata" (M. ter Beek, G. Cledou, R. Hennicker, J. Proenca) has been accepted at FM 2023! - 2023-01-12
Gidon Ernst receives the teaching award for methods in software engineering by the GAF: best master lecture 2022.