MPI-SWS researchers Travis Hance, Laila Elbeheiry, and Derek Dreyer--along with their collaborator Yusuke Matsushita--have received a PLDI 2026 Distinguished Paper Award for their paper "VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System." At PLDI this year, only 10 papers were given this award out of…
The program for the 2026 edition of CMMRS is now online. This year's lineup of lecturers and mentors once again includes international leaders as well as rising stars in their respective research fields. Lectures will cover a variety of cutting-edge topics in AI, NLP, formal methods, programming languages, and software…
AI agents have improved rapidly and demonstrate remarkable capabilities in areas such as communication and software programming. In this interview, MPI-SWS director Krishna Gummadi clarifies the characteristics of AI agents and discusses the benefits they offer people and the risks they pose to society.
Anthony W. Lin -- Max Planck Fellow at MPI-SWS and CS professor at RPTU in Kaiserslautern -- has received an Outstanding Paper Award at ICLR 2026, one of the flagship conferences in machine learning, for his work on "Transformers are Inherently Succinct” (https://openreview.net/forum?id=Yxz92UuPLQ)! This is an incredible achievement — only…
Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 20 papers at the LICS 2026 and ICALP 2026 conferences, two of the top conferences in theoretical computer science. LICS is…
