ICALP 2023

The 50th International Colloquium on Automata, Languages & Programming
July 10-14, 2023 #ICALP2023
Org by @unipb & @eatcs_secretary

[ICALP 2023 @ICALPconf]

Also, you can find some of the #ICALP2023 photos on our homepage https://t.co/8Y2CFfMx1f
Thank you for bearing with us! 😀🩵

[ICALP 2023 @ICALPconf]

@h7fu Hi! Recorded talks are now available! ➡️📷 https://t.co/wqaGIL71EX 😀

[ICALP 2023 @ICALPconf]

ICALP 2023 Satellite Workshop
"Algorithmic Aspects of Temporal Graphs VI" Paderborn, Germany, Monday 10 July 2023 (in-person event) available on YouTube ➡️

https://t.co/XMB1e7k9NM

[ICALP 2023 @ICALPconf]

Dear all, #ICALP2023 recorded talks are now available! ➡️➡️➡️ https://t.co/wqaGIL71EX

[ICALP 2023 @ICALPconf]

Keep your eyes 👀on our website➡️ https://t.co/7IxCL7JTbb There will be some post-#ICALP2023 special content exclusively for attendees! It was great to see you all at #ICALP2023 in @KreisPaderborn!

[ICALP 2023 @ICALPconf]

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!

[ICALP 2023 @ICALPconf]

Thanks to our Sponsors!💙 @Reply_DE @GoogleAI @StiebelEltron @pc2_upb @HNI_PB SFB901. BIG Thanks to @DeepLcom who sponsored 2 Best Student Papers; Track A: Minimum Chain Cover in Almost Linear Time|Manuel Cácere & Track B: The Identity Problem in ℤ ≀ ℤ is decidable|Ruiwen Dong

[ICALP 2023 @ICALPconf]

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.

[ICALP 2023 @ICALPconf]

@HongxunWu @wjmzbmr1 Yes. Indeed … sorry🙈 was late last night 😅
Of course it should be Lijie Chen: "Better Hardness via Algorithms, and New Forms of Hardness versus Randomness" (MIT Department of Electrical Engineering and Computer Science; supervisor: Ryan Williams)!!!

[ICALP 2023 @ICALPconf]

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! 🏅👏

[ICALP 2023 @ICALPconf]

Proceedings of the 50th #ICALP2023 are now available here👉https://t.co/XcxBREln0v

[ICALP 2023 @ICALPconf]

Busy Wednesday... we finished the evening with the special #ICALP2023 BBQ... Thank you all for a great time!

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

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! 👏🏅

[ICALP 2023 @ICALPconf]

Huge congratulations Aaron Bernstein and Thatchaphol Saranurak on the Presburger Award!🏅👏

[ICALP 2023 @ICALPconf]

🏅 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