[FM-India]IWSLA 2025: Call for Participation

======================= Call for Participation ======================= ============================================================= Indian Winter School on Logic and its Applications (IWSLA) 2025 + Website: https://iwsla25.csisbitsgoa.com + Dates: December 8 - 12, 2025 + Venue: 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 21, 2025 (earlier: November 15, 2025) + School Dates: December 8 - 12, 2025 Please note that the number of participants is limited. Selection will be on **first-come, first-served** basis. ============== Registration ============== Registration for IWSLA 25 is now open. Participants may register through the form linked below. Registration Form: https://forms.gle/ke4XoW7X4cUvKVAAA ---------------- 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: https://onlinesbi.sbi.bank.in/sbicollect/icollecthome.htm 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(a)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 Website: https://iwsla25.csisbitsgoa.com