________________________________ 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 You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>