TCS Confidential ================================================================= CALL FOR PARTICIPATION Indian School on Logic and its Applications (ISLA) 2026 + https://isla26.vercel.app/ + June 25 - 30, 2026 + Krea University, Sri City, Andhra Pradesh + Co-located with the Formal Methods Update Meeting (FM Update) 2026 ================================================================= Dear all, The 11th Indian School on Logic and its Applications (ISLA 2026) will be held at Krea University, Sri City, Andhra Pradesh (near Chennai), from June 25 to 30, 2026. The school will be followed by the Formal Methods Update Meeting on July 2 - 3, 2026. ISLA 2026 website: https://isla26.vercel.app/ ABOUT THE SCHOOL ISLA is a biennial school on logic organized by the Association for Logic in India (ALI, https://logicindia.org). It aims to bring together students and researchers from mathematics, computer science, philosophy, and linguistics who share an interest in logic and its applications. The school is especially intended for PhD students, researchers and others interested in exploring logic across disciplines. VENUE Lectures will be held in NAB 2G in the New Academic Building on the Sri City campus of Krea University. SPEAKERS + K. V. Krishna (IIT Guwahati) + Shikha Rajpurohit (Krea University) + Eric Snyder (Ashoka University) + S. P. Suresh (Chennai Mathematical Institute) COURSES + Computability Theory - K. V. Krishna + Proofs vs Programs Correspondence - S. P. Suresh + Reference to Abstract Entities - Eric Snyder + Abhaava: Categorising what there is not - Shikha Rajpurohit IMPORTANT DATES + School Dates: June 25 - 30, 2026 REGISTRATION Registration for the school is open. Details regarding registration fees and the registration process are available at: https://isla26.vercel.app/registration.html Participation is limited, and registration will be on a _first-come, first-served_ basis. REACHING SRI CITY Sri City is 60 kms away from the city of Chennai both by taxi services and local trains (to Tada). It lies on the railway route connecting Chennai to Vijayawada / Hyderabad / Kolkata / New Delhi, and the nearest major railway station is Sullurpeta (around 22 kms away). Further details are available on the ISLA 2026 website. PROGRAMME COMMITTEE + Arun Kumar (Chair), BHU + Govind R (Chair), IMSc Chennai + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University LOCAL ORGANIZATION + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University CONTACT isla2026@krea.edu.in<mailto:isla2026@krea.edu.in> We look forward to your participation. Best regards, Organising Committee ISLA 2026 https://isla26.vercel.app/ =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you