
The 50th International Colloquium on Automata, Languages & Programming July 10-14, 2023 #ICALP2023 Org by @unipb & @eatcs_secretary
Paderborn, Germany
Joined June 2020
- Tweets198
- Following138
- Followers285
- Likes49
Also, you can find some of the #ICALP2023 photos on our homepage icalp2023.cs.upb.de/gallery/
Thank you for bearing with us! 😀🩵
Dear all, #ICALP2023 recorded talks are now available! ➡️➡️➡️ videos.uni-paderborn.de/chan…
ICALP 2023 Satellite Workshop
"Algorithmic Aspects of Temporal Graphs VI" Paderborn, Germany, Monday 10 July 2023 (in-person event) available on YouTube ➡️
youtube.com/playlist?list=PL…
Keep your eyes 👀on our website➡️ icalp2023.cs.upb.de There will be some post-#ICALP2023 special content exclusively for attendees! It was great to see you all at #ICALP2023 in @KreisPaderborn!
Thank you to our invited speakers! ▹ Anna Karlin | Rasmus Kyng | Rupak Majumdar | Thomas Vidick | James Worrell
& thank you to our special 50th ICALP anniversary session guests ▹Thomas Henzinger & Kurt Mehlhorn!
Time to say some BIG #ICALP2023 THANK YOUs!
💙💙💙 Thanks to all #ICALP2023 contributors, and attendees! We were thrilled to have you join us and hope you found #ICALP2023 valuable and informative.
Proceedings of the 50th #ICALP2023 are now available here👉drops.dagstuhl.de/opus/porta…
Busy Wednesday... we finished the evening with the special #ICALP2023 BBQ... Thank you all for a great time!
Best ICALP Paper is as well, awarded to
Track B - Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, and Karol Węgrzycki: "Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality". Congratulations! 👏🏅
Best ICALP Paper is also awarded to:
Track A - Miguel Bosch Calvo, Fabrizio Grandoni and Afrouz Jabal Ameli: "A 4/3 Approximation for 2-Vertex-Connectivity".
Congratulations! 👏🏅
Best ICALP Paper is awarded to:
Track A - Tsun-Ming Cheung, Hamed Hatami, Pooya Hatami and Kaave Hosseini: "Online Learning and Disambiguations of Partial Concept Classes"!
Congratulations! 👏🏅
Best Student ICALP Paper went to
Manuel Caceres👉Track A: Minimum Chain Cover in Almost Linear Time
&
Ruiwen Dong👉Track B: The Identity Problem in Z ≀ Z is decidable
Huge congratulations! 👏🏅
Huge congratulations as well to Lijie Chen: "Better Hardness via Algorithms, and New Forms of Hardness versus Randomness" (MIT Department of Electrical Engineering and Computer Science; supervisor: Ryan Williams Aaron Bernstein) on the EATCS Distinguished Dissertation Award! 🏅👏
Also congratulations to Alex Lombardi: "Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic" (Electrical Engineering and Computer Science (EECS) at MIT; supervisor: Vinod Vaikuntanathan) on the EATCS Distinguished Dissertation Award! 👏🏅
Congratulations to Kuikui Liu: "Spectral Independence: A New Tool to Analyze Markov Chains" (University of Washington; supervisor: Shayan Oveis Gharan) on the EATCS Distinguished Dissertation Award! 👏🏅
🏅 Today's Award Ceremony was presented by EATCS President Artur Czumaj. Congratulations Amos Fiat on the EATCS award! The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a lifelong scientific career. #ICALP2023
Two busy days at #ICALP2023! Three excellent #ICALP2023 keynotes! Yesterday we were honoured to hear Thomas Vidick, James Worrel and Anna Karlin today! Tuesday started with an opening address from Sevag Gharibian and finished with a Reception at historic City Hall! 🥂
#ICALP2023
Monday ✅
Workshops ✅
Get together ✅
Big thank you to all workshop organisers and attenders!















