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…
The EATCS Award for the best theory paper at ETAPS 2026 was awarded to Isa Vialard, Joël Ouaknine and Quentin Guilmant for their paper "The value problem for weighted timed games with two clocks is undecidable", published in FoSSaCS 2026. The EATCS award is given each year to the best…
