- Academics
-
Research
-
Centres
- E-Health Research Centre (EHRC)
- Machine Intelligence & Robotics CoE (MINRO)
- Centre for IT & Public Policy (CITAPP)
- Cognitive Computing CoE (CCC)
- Centre for Accessibility in the Global South (CAGS)
- COMET Tech Innovation Hub (NM-ICPS)
- IIITB Innovation Centre
- Modular Open-Source Identity Platform (MOSIP)
- Centre for Open Societal Systems (COSS)
- Centre for Digital Public Infrastructure | CDPI
-
Labs
- Surgical and Assistive Robotics Lab
- Scalable Data Science and AI Lab
- Graphics-Visualization-Computing-Lab
- Web Science Lab
- Multimodal Perception Lab
- Software Engineering Lab
- High Density Electronic Systems Lab
- Networking and Communication Lab
- Remote Sensing, GIS and Spatial Computing Lab
- Indian Knowledge System (IKS) Lab
- Smart City Lab
- Ascend Studio
- Radar Sensing Lab
- CSSMP
- Advanced Wireless Communications Lab
- Speech Lab
- Connected Devices and Wearables Lab
- Outreach
- Publications
- Policy
-
Centres
- Placements
- Campus Life
- Media
- People
- About Us
The international conferences ATVA and APLAS 2025, 23rd in the series, were held from 27 to 31 October 2025 at IIIT-Bangalore. A total of 13 research papers were presented at APLAS, and 21 research and tool papers were presented at ATVA 2025.
Invited talks (main conferences):
Prof. Arati Gupta, Princeton University, USA
Talk title: Network Abstractions for Modularity and Performance Verification
Prof. Peter Mueller, ETH Zurich, Switzerland
Talk title: 15 Years of Viper: Building and Evolving a Verification Infrastructure
Dr. Rahul Sharma, Microsoft Research, Bangalore
Talk title: LLMs Meet Program Synthesis
Co-located events:
Two tutorials (ATVA): Details available here.
One workshop (ATVA): Details available here.
An NIER Workshop (APLAS and ATVA): Details available here.
Student Research Competition and Posters: Details available here.
Microsoft and Springer were the sponsors of the Conferences. There were 135+ registrations across the two conferences and co-located events. Overall, the conferences received positive feedback from the attendees.