Anthony W. Lin -- Max-Planck-Fellow am MPI-SWS und Professor für Informatik an der RPTU in Kaiserslautern-- hat auf der ICLR 2026, einer der führenden Konferenzen im Bereich des maschinellen Lernens, für seine Arbeit zum Thema „Transformers are Inherently Succinct“ den „Outstanding Paper Award“ erhalten (https://openreview.net/forum?id=Yxz92UuPLQ)! Das ist eine unglaubliche Errungenschaft…
Forschende des Max-Planck-Instituts für Softwaresysteme (MPI-SWS), des Max-Planck-Instituts für Informatik (MPI-INF) und des Max-Planck-Instituts für Sicherheit und Privatsphäre (MPI-SP) haben gemeinsam 20 Papers für die Konferenzen LICS 2026 und ICALP 2026 verfasst, zwei der führenden Konferenzen im Bereich der theoretischen Informatik. LICS ist die führende Konferenz zum Thema Logik in…
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…
Der wissenschaftliche Direktor des MPI-SWS, Joël Ouaknine, wurde von der European Association for Theoretical Computer Science (EATCS) zum Fellow ernannt. Joël, der die Forschungsgruppe „Foundations of Algorithmic Verification“ leitet, wurde für „fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms“ zum EATCS-Fellow ernannt. Das EATCS Fellows Program…
Die neue Graduiertenschule soll fortgeschrittene KI-Methoden für die Grundlagenforschung in den Lebenswissenschaften entwickeln. Der inhaltliche Fokus wird darauf liegen, das Verständnis biologischer Systeme zu vertiefen, indem moderne biomedizinische Technologien mit innovativen Ansätzen der künstlichen Intelligenz kombiniert werden. Ziel ist es, eine neue Generation von Wissenschaftlerinnen und Wissenschaftlern auszubilden, die Algorithmen…
