[ALI] IWSLA 2025: Call for Participation

20 views
Skip to first unread message

Association for Logic in India

unread,
Nov 1, 2025, 5:05:53 AM11/1/25
to Association for Logic in 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: dipt...@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


Reply all
Reply to author
Forward
0 new messages