Platinum Jubilee Auditorium

Situated on the first floor of the Platinum Jubilee Academic (PJA) building inside the Academic area of ISI Kolkata Campus

Session 1 (Feb 03 09:15-09:30) Inauguration
Session 2 (Feb 03 09:30-10:30) Keynote Talk
Session 3 (Feb 03 11:00-12:00) Modal Logic
Session 4 (Feb 03 12:05-13:05) Modal Logic
Session 5 (Feb 03 14:30-15:30) Automata Theory
Session 6 (Feb 03 15:50-16:20) Short Talks
Session 7 (Feb 03 17:30-19:00) Distinguished Lecture
Session 8 (Feb 04 09:30-10:30) Keynote Talk
Session 9 (Feb 04 11:00-12:00) Temporal Logic
Session 10 (Feb 04 12:05-13:05) Logics for Variable Inclusion and Inexact Knowledge
Session 11 (Feb 04 14:30-15:30) Keynote Talk
Session 12 (Feb 04 16:00-17:15) Panel Discussion on Gödel's Incompleteness Theorems (GIT)
Session 13 (Feb 04 17:45-19:00) Awards Declaration + ALI Business Meeting
Session 14 (Feb 05 09:30-10:30) Keynote Talk
Session 15 (Feb 05 11:00-11:15) Short Talk
Session 16 (Feb 05 11:15-12:45) Award Talks
Session 18 (Feb 05 14:30-15:30) Short Talks
Session 19 (Feb 05 16:00-17:30) Panel Discussion on Education and Careers in Logic (ECL)
Session 20 (Feb 05 17:30-17:45) Conclusion