SERI 2026

The annual Software Engineering Research in India (SERI) Update Meet is an informal gathering designed to bring together faculty, students, industry researchers, and practitioners working in software engineering and related fields—such as programming languages, compilers, and formal verification—to share and discuss recent developments in their areas of interest.

The 2026 edition will be hosted by International Institute of Information Technology, Hyderabad, Telangana, India as an in-person meeting from 16th to 18th July, 2026.

Scope

Talks will focus on novel insights and experiences relating to any aspect of software engineering and programming languages including requirements, design, development, analysis, testing, verification, deployment, and security.

Participation

Submit a Talk Proposal – Share your research or insights.

Attend the Meeting – Listen to talks, network with peers, and participate in discussions.

Invited Speakers

Dr. Rishiyur Nikhil CTO and Co-Founder, Bluespec, Inc. Talk Title: Bringing UNITY to Software and Hardware Design	Aditya Vempaty Research Scientist, Emergence AI Talk Title: Verified Autonomy: Why Large Language Models Alone Aren't Enough, and What a Neuro-Formal Stack Looks Like
Prof. KC Sivaramakrishnan Assistant Professor, Indian Institute of Technology Madras (IIT Madras) Talk Title: From Convergence to Confidence: Push-Button Verification for Replicated Data Types	Dr. Chetan Arora Director of Education, Software Systems and Cybersecurity, Monash University Talk Title: Prompt. Pray. Deploy. — The Agentic AI Wake-Up Call for Requirements Engineering
Dr. Diptikalyan Saha Senior Technical Staff Member, IBM India Research Labs Talk Title: Mainframe Application Reliability in the Agentic AI Era