Indian Winter School on Logic and its Applications

8th Dec - 12th Dec 2025

@ BITS Goa

Learn More Contact Us

About IWSLA 25


About the School

The Indian Winter School on Logic and its Applications (IWSLA 25) will take place at BITS Goa from 8th to 12th December, 2025. This prestigious winter school offers comprehensive courses designed to deepen your understanding of mathematical logic and its practical applications.

The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

The school is designed to provide an intimate learning environment with focused attention on each participant's development.

IWSLA is an annual event of the Association FOR Logic in India (ALI). This winter school continues the tradition of excellence in logic education, bringing together leading experts and enthusiastic learners in a collaborative academic environment.

Target Audience

Computer Science

Researchers and students

Mathematics

Pure and applied mathematicians

Philosophy

Logic and philosophy scholars

Linguistics

Computational linguists

Research

PhD students and postdocs

International

Global participants welcome

Course Offerings

Two comprehensive courses covering advanced topics in logic

Lean(Theorem Proving)

  • Introduction to Functional Programming in Lean: Inductive Data Types.
  • Recursive Functions and Higher-Order Functions.
  • Encoding Mathematical Definitions in Lean.
  • Proofs and Programs in Lean.
  • Verifying Programs in Lean.
  • Glimpses of Programming and Proving with Dependent Types in Lean.

Lectures on Forcing

  • Review of ZFC, ordinals, cardinals, transfinite recursion, well-founded relations and Mostowksi collapse.
  • Models of fragments of ZFC (H_kappa, V_kappa), inner models, constructible universe, Reflection theorems.
  • Countable transitive models, forcing posets and associated generic extensions, truth and definability lemmas.
  • Chain conditions and consistency of not CH, countably closed forcing and consistency of CH/Diamond.
  • Martin's axiom and independence of Suslin's hypothesis, forcing as a tool to prove ZFC results.

Important Dates

Registration

Deadline for early registration: 15 November 2025  →  21 November 2025

News and Updates: Registration for IWSLA 25 is now open. Please refer to the details provided below.


Registration

Secure your spot at IWSLA 25

Registration Started

Thank you for your interest in IWSLA 25. Registration for the Indian Winter School on Logic and its Applications are open now.


Registration Fees:

  • Student — 2500 INR
  • Faculty/Researcher from Academia — 5000 INR
  • Industry Professional — 10000 INR

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 have to search for "BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE, Goa" and choose a payment category as IWSLA25 in the following link.


Pay via SBI Collect: Click here


Google Form (Registration):

Kindly make the payment first and then fill the google form.

Click here to register