General Information
The 11th Indian School on Logic and Applications (ISLA) will take place at Krea University, Andhra Pradesh, on 25–30 June 2026. The school is co-located with the Formal Methods Update Meeting on 2–3 July 2026.
Established in 2006, ISLA is a biennial graduate school on logic organised by the Association for Logic in India (ALI) with two broad goals:
- To provide PhD students with a sound basis for research in logic;
- To bring together logicians from diverse fields such as mathematics, computer science, philosophy, and linguistics.
Venue
Lectures will be held in NAB 2G in the New Academic Building on the Sri City campus of Krea University.
Program Committee
- Arun Kumar (PC Chair) BHU
- Govind R (PC Chair) IMSc Chennai
- Abhishek De Krea University
- TVH Prathamesh Krea University
Local Organisation
- Abhishek De
- TVH Prathamesh
Contact
Any queries should be addressed to isla2026@krea.edu.in.