{"id":25944,"date":"2026-04-24T17:28:17","date_gmt":"2026-04-24T15:28:17","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&p=25944"},"modified":"2026-05-02T14:51:00","modified_gmt":"2026-05-02T12:51:00","slug":"max-planck-researchers-publish-20-papers-at-lics-icalp-2026","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/","title":{"rendered":"Max Planck researchers publish 20 papers at LICS\/ICALP 2026"},"content":{"rendered":"

Researchers from the Max Planck Institute for Software Systems (MPI-SWS)<\/a>, the Max Planck Institute for Informatics (MPI-INF)<\/a>, and the Max Planck Institute for Security and Privacy (MPI-SP)<\/a> have coauthored 20 papers at the LICS 2026 and ICALP 2026 conferences, two of the top conferences in theoretical computer science. LICS is the premier conference on logic in computer science and ICALP is the flagship conference of the European Association for Theoretical Computer Science.<\/p>\n

MPI-SWS papers:<\/p>\n

    \n
  1. Automata on S-adic Words. Val\u00e9rie Berth\u00e9, Toghrul Karimov<\/strong>, and Mihir Vahanwala<\/strong> (ICALP, Track B)<\/li>\n
  2. Hypersequent calculi have Ackermannian upper bounds. A. R. Balasubramanian<\/strong>, Vitor Greati and Revantha Ramanayake (LICS)<\/li>\n
  3. Infinite-state games with energy objectives beyond counters. Irmak Saglam<\/strong> and\u00a0Georg Zetzsche<\/strong>\u00a0(ICALP, Track B)<\/li>\n
  4. On the Subspace Orbit Problem and the Simultaneous Skolem Problem. Piotr Bacik<\/strong> and Anton Varonka (LICS)<\/li>\n
  5. On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. Piotr Bacik<\/strong>, Joris Nieuwveld<\/strong>, Jo\u00ebl Ouaknine<\/strong>, Mihir Vahanwala<\/strong>, Madhavan Venkatesh<\/strong> and Emil Rugaard Wieser<\/strong> (LICS)<\/li>\n
  6. Optimally Controlling a Random Population. Hugo Gimbert, Corto Mascle<\/strong>, Patrick Totzke (ICALP, Track B)<\/li>\n
  7. Optimal Sequential Flows. Hugo Gimbert, Corto Mascle<\/strong>, Patrick Totzke (ICALP, Track A)<\/li>\n
  8. Population Protocols over Ordered Agents. Michael Blondin, Micha\u00ebl Cadilhac, Benjamin Courchesne, Lucie Guillou<\/strong>, Corto Mascle<\/strong>, and Isa Vialard<\/strong>\u00a0(ICALP, Track B)<\/li>\n
  9. The Complexity of Nested Reset Counter Systems. A. R. Balasubramanian<\/strong>\u00a0and Franzisco Schmidt (LICS)<\/li>\n
  10. The complexity of downward closures of indexed languages. Richard Mandel<\/strong>, Corto Mascle<\/strong> and\u00a0Georg Zetzsche<\/strong>\u00a0(LICS)<\/li>\n<\/ol>\n

    MPI-SP papers:<\/p>\n

      \n
    1. Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. Gilles Barthe<\/strong>, Minbo Gao, Jam Kabeer Ali Khan<\/strong>, Matthijs Muis<\/strong>, Ivan Renison<\/strong>, Keiya Sakabe, Michael Walter, Yingte Xu<\/strong>, Tianshi Yu and Li Zhou (LICS)<\/li>\n<\/ol>\n

      MPI-INF papers:<\/p>\n

        \n
      1. A Faster Directed Single-Source Shortest Path Algorithm. Ran Duan, Xiao Mao, Xinkai Shu<\/strong>, Longhui Yin (ICALP, Track A)<\/li>\n
      2. Computing the (k+2)-Edge-Connected Components in k-Edge-Connected Digraphs in Subquadratic Time. Loukas Georgiadis, Evangelos Kipouridis<\/strong>, Evangelos Kosinas, Charis Papadopoulos, Nikos Parotsidis (ICALP, Track A)<\/li>\n
      3. Faster algorithms for k-Orthogonal Vectors in low dimension. Anita D\u00fcrr<\/strong>, Evangelos Kipouridis<\/strong>, Michael Lampis, Karol Wegrzycki<\/strong>\u00a0(ICALP, Track A)<\/li>\n
      4. Fast decremental tree sums in forests. Benjamin Aram Berendsohn<\/strong>, Marek Soko\u0142owski<\/strong> (ICALP, Track A)<\/li>\n
      5. Improved Tree Sparsifiers in Near-Linear Time. Daniel Agassy, Dani Dorfman<\/strong>, Haim Kaplan (ICALP, Track A)<\/li>\n
      6. Low Rank MSO. Miko\u0142aj Boja\u0144czyk, Micha\u0142 Pilipczuk, Wojciech Przybyszewski, Marek Soko\u0142owski<\/strong>\u00a0and Giannos Stamoulis (LICS)<\/li>\n
      7. Node-Weighted Triangles: Faster and Simpler. Shyan Akmal<\/strong>, Nick Fischer<\/strong> (ICALP, Track A)<\/li>\n
      8. Permutation Patterns in Streams. Benjamin Aram Berendsohn<\/strong> (ICALP, Track A)<\/li>\n
      9. Random Access in Grammar-Compressed Strings: Optimal Trade-Offs in Almost All Parameter Regimes. Anouk Duyster<\/strong>, Tomasz Kociumaka<\/strong> (ICALP, Track A)<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

        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 premier conference on logic […]<\/p>\n","protected":false},"featured_media":917,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[83,110,57,59],"class_list":["post-25944","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-feedreader","sic_news-types-feedreader-en","sic_news-types-mpi-sws-en","sic_news-types-press-release-en"],"yoast_head":"\nMax Planck researchers publish 20 papers at LICS\/ICALP 2026 - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Max Planck researchers publish 20 papers at LICS\/ICALP 2026 - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"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 premier conference on logic […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2026-05-02T12:51:00+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"563\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/\",\"name\":\"Max Planck researchers publish 20 papers at LICS\\\/ICALP 2026 - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"datePublished\":\"2026-04-24T15:28:17+00:00\",\"dateModified\":\"2026-05-02T12:51:00+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"width\":1000,\"height\":563},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Max Planck researchers publish 20 papers at LICS\\\/ICALP 2026\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Max Planck researchers publish 20 papers at LICS\/ICALP 2026 - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/","og_locale":"en_US","og_type":"article","og_title":"Max Planck researchers publish 20 papers at LICS\/ICALP 2026 - Saarland Informatics Campus","og_description":"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 premier conference on logic […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2026-05-02T12:51:00+00:00","og_image":[{"width":1000,"height":563,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/","name":"Max Planck researchers publish 20 papers at LICS\/ICALP 2026 - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","datePublished":"2026-04-24T15:28:17+00:00","dateModified":"2026-05-02T12:51:00+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","width":1000,"height":563},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-publish-20-papers-at-lics-icalp-2026\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Max Planck researchers publish 20 papers at LICS\/ICALP 2026"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/25944","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/917"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=25944"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=25944"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}