Die 50. ICALP (International Colloquium on Automata, Languages and Programming) hat vom 10. bis 14. Juli im Heinz Nixdorf MuseumsForum (HNF) sowie im Heinz Nixdorf Institut (HNI) in Paderborn stattgefunden. Organisiert wurde die Konferenz vom Institut für Informatik der Universit?t Paderborn in Zusammenarbeit mit der Europ?ischen Gesellschaft für Theoretische Informatik (EATCS). Die ICALP ist die wichtigste europ?ische Konferenz im Bereich der Theoretischen Informatik und gleichzeitig die Jahrestagung und Aush?ngeschild der EATCS.
Das diesj?hrige 50. Jubil?um der internationalen Konferenz bot mehr als 350 Teilnehmer*innen aus aller Welt verschiedenste 360直播吧s, Fachvortr?ge und Diskussionsplattformen rund um die neuesten Forschungsergebnisse im Bereich der Theoretischen Informatik.
Am ersten Veranstaltungstag fanden eine Reihe von 360直播吧s zu diversen Forschungsfeldern wie ?Congestion Games“, ?Recent Trends in Online Algorithms“ und ?Algebraic Complexity Theory“ statt. Offiziell er?ffnet wurde die eigentliche Konferenz dann am 11. Juli durch den Vorsitzenden des lokalen Organisations-Komitees Prof. Dr. Sevag Gharibian, Inhaber des Lehrstuhls für Quanteninformatik an der Universit?t Paderborn.
Zu den H?hepunkten der Veranstaltung z?hlten neben den 135 Kurzvortr?gen zu den akzeptierten Forschungspapieren insbesondere auch die Hauptvortr?ge renommierter Wissenschaftler des Fachgebiets: Thomas Vidick (Weizmann Institute of Science und California Institute of Technology) sprach über ?Quantum Codes, Local Testability and Interactive Proofs“, James Worrell (University of Oxford) hielt einen Vortrag mit dem Titel ?The Skolem Landscape“ – er forscht im Bereich Logik in der Informatik. Anna Karlin (University of Washington) sprach über ?(Slightly) Improved Approximation Algorithm for the Metric Traveling Salesperson Problem“ – ihr Schwerpunkt liegt auf randomisierten und Approximations-Algorithmen. Zudem hielt Rupak Majumdar (Max-Planck-Institute for Software Systems) als Experte zum Thema ?Context-Bounded Analysis of Concurrent Programs“ einen Hauptvortrag. Am letzten Tag der Konferenz sprach dann Rasmus Kyng (ETH Zürich) über ?An Almost-Linear Time Algorithm for Maximum Flow and More“.
Darüber hinaus wurden w?hrend der Konferenz mehrere wissenschaftliche Preise vergeben, u.a. erhielt Amos Fiat von der Tel Aviv University den ?EATCS Award“ für sein wissenschaftliches Lebenswerk, w?hrend der ?Presburger Award“ an zwei junge Nachwuchswissenschaftler (Aaron Bernstein und Thatchaphol Saranurak) für ihre herausragenden Beitr?ge innerhalb der Theoretischen Informatik ging. Der ?Alonzo Church Award“ ging in diesem Jahr an ein zehnk?pfiges Forscherteam vom Projekt IRIS, welches u.a. ein Framework zur Sicherheit nebenl?ufiger Programme liefert.
In einer speziellen ICALP-Jubil?ums-Session, die vom ehemaligen EATCS Pr?sidenten und Emeritus der Paderborner Informatik, Burkhard Monien, moderiert wurde, sprachen dann mit Kurt Mehlhorn (Direktor und wissenschaftliches Mitglied am Max-Planck-Institut für Informatik) und Thomas Henzinger (erster Pr?sident des Institute of Science and Technology of Austria) zwei der renommiertesten Vertreter der Europ?ischen Theoretischen Informatik über ihre Hauptforschungsergebnisse und die Bedeutung der ICALP bzw. EATCS in ihrem langj?hrigen Forscherleben.
Den Konferenzteilnehmer*innen wurde zudem ein umfangreiches Rahmenprogramm geboten, bei dem sich die Stadt und die Region Paderborn hervorragend pr?sentierten. Neben der M?glichkeit, das gr??te Computer Museum der Welt im HNF zu erkunden, fanden für die G?ste Stadtführungen durch den historischen Stadtkern von Paderborn mit anschlie?endem Empfang beim Bürgermeister im historischen Rathaus statt. An einem anderen Abend gab es ein gro?es Barbecue an der Pader. Highlight am letzten Abend der Konferenz war dann ein Abendessen in der Detmolder Brauerei Strate samt Brauereiführung, Bierverkostung und Musik durch das Blasorchester Nordborchen.
Die Ausrichtung der ICALP war ein voller Erfolg und wurde von allen Teilnehmenden hoch gelobt.
