SESSION I / 11 AM - 1 PM
Chairperson: Nirmalya Narayan Chakraborty

Ranjana Mukherjee
Rabindra Bharati University, Kolkata, India
From Redundancy Theory to Tarski’s Semantic Theory of Truth

Raja Natarajan
Tata Institute of Fundamental Research, Mumbai, India
A Formal Demonstration of the Inadequacy of Formal Demonstrations
- Tarski's Proof of Gödel's Theorem

SESSION II / 2 AM - 4 PM
Chairperson: Madhabendranath Mitra

Sankha S. Basu
Indraprastha Institute of Information Technology - Delhi (IIIT-Delhi), New Delhi, India
Banach–Tarski Paradox

Amita Chatterjee
Jadavpur University, Kolkata, India
Gödel: a Vindication of Human Excellence

Mihir Chakraborty
Jadavpur University, Kolkata, India
Gödel and Tarski: some Stories