IWSLA 2025: Call for Participation

IWSLA 2025: Call for Participation

[Abhisekh Sankaran]

[-- Attachment #1: Type: text/plain, Size: 5022 bytes --]

________________________________
Call for Participation

Indian Winter School on Logic and its Applications (IWSLA) 2025
🔗 https://iwsla25.csisbitsgoa.com<https://url.au.m.mimecastprotect.com/s/5WfyCxngGkf12GlwBi8f3CyRMb3?domain=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<https://url.au.m.mimecastprotect.com/s/K4POCANpnDCNvmQ2VCYsyCGYp-h?domain=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<https://url.au.m.mimecastprotect.com/s/re7wCyoj8Purlj1kJiMhZCx4elc?domain=forms.gle>

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<https://url.au.m.mimecastprotect.com/s/Z86ZCzvkmpfM0P19nHgiOC9Iakp?domain=onlinesbi.sbi.bank.in>

  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<https://url.au.m.mimecastprotect.com/s/5WfyCxngGkf12GlwBi8f3CyRMb3?domain=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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 9263 bytes --]