Logic List Mailing Archive
CfR: IWSLA 2025 - Indian Winter School on Logic and its Applications, 8–12 December 2025, Goa (India)
Call for Participation
Indian Winter School on Logic and its Applications (IWSLA) 2025
🔗 https://iwsla25.csisbitsgoa.com
📅 December 8 – 12, 2025
🏫 BITS Pilani, K K Birla Goa Campus
__________________________________________________________________________________________________________
About the School
The Indian Winter School on Logic and its Applications (IWSLA) 2025 is organized under the auspices of the Association for Logic in India (ALI) (https://logicindia.org). The aim of the school is to bring together students, researchers, and practitioners from computer science, mathematics, philosophy, and linguistics who share an interest in the study and application of logic. The school is especially aimed at graduate students, early-career researchers, and anyone interested in exploring the role of logic across disciplines.
__________________________________________________________________________________________________________
Courses and Instructors
*
Course on Lean (Theorem Proving)
Instructor: Dr. T. V. H. Prathamesh, KREA University
Invited lecture: Prof. Siddhartha Gadgil, IISc Bangalore
*
Course on Forcing (Set Theory)
Instructor: Dr. Ashutosh Kumar, IIT Kanpur
__________________________________________________________________________________________________________
Important Dates
*
Early Registration Deadline: November 15, 2025
*
School Dates: December 8 – 12, 2025
Please note that the number of participants is limited. Selection will be on a first-come, first-served basis.
__________________________________________________________________________________________________________
Registration
Registration for IWSLA 25 is now open. Participants may register through the form linked below:
🔗 Registration Form
Registration Fees:
*
Students: ₹ 2500 /-
*
Faculty: ₹ 5000 /-
*
Industry: ₹ 10000 /-
Note:
1. The registration fee is non-refundable.
2. We host a limited number of participants and registration will be on a first-come, first-served basis.
3. Shared accommodation is arranged for girls on campus and for boys outside the campus (shuttle will be
arranged) on a payment basis separately.
4. Participants from academia and industry may book accommodation in the nearby hotels.
5. Make the payment first and then fill the form.
__________________________________________________________________________________________________________
Payment Link
Participants may follow the steps below to make the payment.
1. Search for “BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE" at the following link.
💳 Pay via SBI Collect: Click here
2. Select "BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE Goa” from the dropdown menu.
3. Choose the payment category as "IWSLA25".
4. Complete the payment details and make the payment.
__________________________________________________________________________________________________________
Organising Committee
Diptendu Chatterjee, BITS Pilani, K K Birla Goa Campus
Programme Committee
A Baskar, BITS Pilani, K K Birla Goa Campus
Sourav Tarafder, St. Xavier’s College, Kolkata
__________________________________________________________________________________________________________
Hosted by
Department of Computer Science & Information Systems, BITS Pilani, K K Birla Goa Campus
In association with
Association for Logic in India (ALI)
__________________________________________________________________________________________________________
Venue
Birla Institute of Technology & Science, Pilani K K Birla Goa Campus NH – 17B, Zuarinagar, Goa – 403726, India
Tel: +91-832-2580221, +91-832-2580811
__________________________________________________________________________________________________________
Contact
📧 Email: diptenduc@goa.bits-pilani.ac.in
📞 Phone: +91-832-2580221 / +91-832-2580811
__________________________________________________________________________________________________________
How to Reach
✈️ Goa International Airport (Dabolim): 7 km ✈️ Mopa Airport (Manohar International): 56 km
🚆 Vasco-da-Gama: 10 km south
🚆 Margao: 20 km north
__________________________________________________________________________________________________________
We look forward to your participation and to an engaging week of lectures and discussions on logic and its applications.
Warm regards,
Organising Committee
Indian Winter School on Logic and its Applications (IWSLA) '25 BITS Pilani, K K Birla Goa Campus
🔗 https://iwsla25.csisbitsgoa.com
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php