Logic List Mailing Archive

CfP: ISLA 2026 – 11th Indian School on Logic and its Applications, 25–30 June 2026, Sri City (India), early registration deadline: 15 May 2026

________________________________________________________________________________________________
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 Organisation:

  *

     Abhishek De, Krea University

  *

     T. V. H. Prathamesh, Krea University

Contact:

isla2026@krea.edu.in

We look forward to your participation.

Best regards,
Organising Committee
ISLA 2026
https://isla26.vercel.app/


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php