[FM-India]Formal Methods Update Meeting 2026

Dear all, We are pleased to announce the Formal Methods Update Meeting 2026, an informal research meeting and workshop on formal methods and related area at Krea University in Sri City, Andhra Pradesh in the proximity of Chennai. Dates: July 2nd and July 3rd. Venue: Krea University Location: Sri City, Andhra Pradesh, India (near Chennai, Tamil Nadu) Website: https://fm-update.github.io/index.html Register at: https://fm-update.github.io/registration.html The meeting aims to bring together researchers, students, and practitioners from across academia and industry to discuss ongoing work and emerging directions in formal methods, including (but not limited to) logic, verification, programming languages, and automated reasoning. The format is designed to encourage interaction, discussion, and exchange of ideas. We particularly encourage participation from graduate students , early-career researchers and industry researchers. Further details regarding registration, accommodation, and travel support are available on the website and will be communicated to registered participants via email. We would appreciate it if you could share this announcement with colleagues and students who may be interested. Best regards, Inzemamul Haque, Krea University Aalok Thakkar, Ashoka University T. V. H. Prathamesh, Krea University [Organizing Committee, FM Update Workshop 2026]