Aalok Thakkar
(આલોક ઠક્કર)

News

2026

Dec Smayan Agarwal will present our paper “Localising Stochasticity in Weighted Automata” at FSTTCS 2026. At the co-located RHPL, TVH Prathamesh will present our work “Frameworks and Tactics for Undecidability in Lean 4”, and Akhilesh Balaji will present a poster, “DiagonaLean: Formalising Undecidability in Lean 4”.

Dec I will attend ICISS 2026 at CMI on December 16 and present two papers, “The Trust a Protocol Needs” and “Defining Purpose Limited Secrets”, joint work with Bhumika Mittal.

Dec FSTTCS 2026 will be held at IIT Delhi from December 16 to 18.

Dec We will host the Indian SAT-SMT School 2026 as a pre-FSTTCS 2026 workshop on December 14 and 15.

Dec We will host a workshop on Verification, Logic, and Cryptography (VeLCro) at CMI on December 11.

Dec I have been selected for the INSA Visiting Scientist Programme 2026–27. I will be at CMI from December 2026 to January 2027, working with Aiswarya on the synthesis of string transducers.

Dec TVH Prathamesh and I will teach “Rocq & Roll”, an introduction to interactive theorem proving, at the FP Launchpad PL Winter School 2026, IIT Madras, December 7 to 11.

Dec ACM COMPUTE 2026 will be held at Amrita Vishwa Vidyapeetham, Coimbatore, from December 3 to 5.

Dec I will attend ATVA 2026, December 1 to 4, to present our paper “How Often Does Your Program Fail?” (Distinguished Paper), joint work with Arnab Ray.

Nov I will give a talk, “Righting Code”, on invariants at IIT Jammu on November 16.

Nov I will give a talk, “Clowns to the Left of Me, Jokers to the Right”, at Ashoka University on November 4.

Nov We will celebrate 10 years of Bhāvanā in Bengaluru, with the release of the October 2026 issue and a commemorative booklet.

Oct Devesh Bajaj will present our work on detecting elephant vocalisations at ConfAI 2026, Plaksha University, from October 30 to November 1.