
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…
