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 + Early registration deadline: May 15, 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 + Recursion Theory — K. V. Krishna + Proofs vs Programs Correspondence — S. P. Suresh + On Reference to Abstract Entities — Eric Snyder IMPORTANT DATES + Early Registration Deadline: May 15, 2026 + School Dates: June 25 – 30, 2026 Participation is limited, and registration will be on a _first-come, first-served_ basis. REGISTRATION Details regarding registration fees and the registration process are available at: https://isla26.vercel.app/registration.html 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 You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>