IIT Goa | Applications for the 10th Indian School on Logic and its Applications, Apply by 20th May 2024!
Overview:
IIT Goa is inviting applications for the 10th Indian School on Logic and its Applications. Interested ones can apply. ISLA is a biennial event of the Association for Logic in India(ALI). Past editions of the school were held in IISERB, Jadavpur University, PSG College of Technology, IIT Bombay, IIT Kanpur, University of Hyderabad, Manipal University, Tezpur University and IIEST Shibpur.
Who can attend:
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.
Courses:
Infinite Game Theory
-
Introduction to descriptive set theory.
-
Introduction to game theory and infinite games.
-
Determinacy and the Gale-Stewart theorem.
Automata & Semigroups
-
Definitions of semigroups, monoids, and morphisms.
-
Recognition by finite monoids and syntactic monoids.
-
Green’s relations
-
Varieties of monoids and languages
-
Elementary varieties of languages
Note:
Due to space constraints, the number of participants is limited to 40.
Registration Fees:
-
Students: Rs.1000
-
Non-Students: Rs.2000
|
Bank details for making payment: |
|
|
Institution’s Account Name (As per bank record) |
IIT Goa Project Account |
|
Account No. |
520101252594743 |
|
IFSC Code |
UBIN0913286 |
|
Bank Name(in full) |
Union Bank of India |
|
Branch Name |
Farmagudi, Goa |
|
Complete Branch Address |
AT GEC Campus, Farmagudi Taluk, Ponda PIN 403401 (Goa) |
|
MICR No. |
403026055 |
|
Account Type |
Saving Account |
Registration:
-
The registration fee is non-refundable.
-
We host a limited number of participants and the registration will be on a first come first serve basis.
-
Accommodation and food will be provided on a payment basis separately.
-
If your browser doesn't support embedded forms please click here.
Accommodation:
-
Hostel charges for external students: Rs. 1000/- for 15 days (on a twin-sharing basis). Mess charges on a pay-and-eat basis. i.e. Rs. 235/- for all four meals.
-
Hostel charges for guests: Rs. 500/- per day (single occupancy). Mess charges on a pay-and-eat basis. i.e. Rs. 235/- for all four meals.