Another one for AI! It truly seems to be about recognizing the importance of a technological advancement which has a profound impact across all fields of science.

The #ComputerScience_and_Engineering department at IIT Delhi is hosting a winter school on Formal Verification and Program Synthesis from December 3rd to 6th, 2024. To know more and register: priyanka-golia.github.io/WinterSchool24…

Steven Rudich, a pioneer of Natural Proofs, has passed away. I first encountered Natural Proofs in a course during my early PhD years and grew to deeply appreciate the concept. A tribute post on Shtetl-Optimized: scottaaronson.blog/?p=8449

Call for participation Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds (MMComplexity 2024), India. December 14th, 15th, 2024. Co-located with FSTTCS 2024. Do attend! mmcomplexity.github.io

It was a wonderful Friday to have BARC at ITU. It was an honour to give a talk to such an engaged and curious audience. The deep-dive session after the talk sparked truly enriching discussions. All the credits to Nutan Limaye and Anne for making it happen.

Cannot appreciate this decision more! I recently learned that many European nations have been practicing this for a while, and it’s amazing to see India taking this step too.

🇮🇳 GUKESH D WINS THE 2024 FIDE WORLD CHAMPIONSHIP! 👏 🔥 #DingGukesh

SpaDeX Docking Update: 🌟Docking Success Spacecraft docking successfully completed! A historic moment. Let’s walk through the SpaDeX docking process: Manoeuvre from 15m to 3m hold point completed. Docking initiated with precision, leading to successful spacecraft capture.

STOC 2025 accepted papers. A whopping 219 papers accepted from 735 submissions. acm-stoc.org/stoc2025/accep… Conference in Prague June 23-27. acm-stoc.org/stoc2025

Project Euler.

Yesterday, I successfully defended my thesis! Huge thanks to my advisor, Nitin Saxena , as well as my mentors, collaborators, friends, and family for their unwavering support. I’m excited as I move on to the next chapter of my academic journey.

Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD

AI Wins Gold in Math Olympiad | Opinion prateekdwivedi.in/blog/AI-Wins-G…

Statement of Prof. David Gross, Nobel Laureate 2004, at the recently concluded Quantum India Bengaluru 2025. This one sentence sums up the conference for me.

"A territory, once seen, can’t be seen first again. If mechanized minds consume all the empty space on the intellectual map, lives dedicated to discovery won’t be lives that humans can lead." scottaaronson.blog/?p=9030

Menace is undeniable, but the SC’s inhumane ruling isn’t the cure. Our infrastructure won’t be fixed overnight to make it work either. Those protesting can consider adopting a stray—sterilise, vaccinate, care. For others, supporting NGOs doing this work would be appreciated.

Such an incredible story of grit and perseverance. nobelprize.org/prizes/medicin…

We at SCoS, NISER, are looking for motivated students interested in the theoretical aspetcs of computing; details in the poster below. Prior coursework in CS is encouraged, but not necessary. However, mathematical maturity and algorithmic thinking are essential.