News

In Memorium: Prof. Amitabha Gupta
ATVA 2025: The 23rd International Symposium on Automated Technology for Verification and Analysis, 27 – 31 October, 2025, Bangalore, India
IWSLA 2025: The Indian Winter School on Logic and its Applications, 8 – 12 December, 2025, BITS Pilani, K K Birla Goa Campus
FSTTCS 2025: The 45th Foundations of Software Technology and Theoretical Computer Science, 17 – 19 December, 2025, BITS Pilani, K K Birla Goa Campus