| Date | 10:15am-11:30am | Tea | 11:45am-01:15pm | Lunch | 2:30pm-3:30pm | Tea | 3:40pm-4:40pm | Tea | 4:50pm-5:50pm |
| 16th Sep | Shashi Mohan Srivastava [A broad overview of model theory] |
High tea | Rana Barua. [Introduction to Computability] |
Lunch | Bob Coecke [From quantum foundations to natural language meaning via string diagrams] |
Tea | Guruprasad Kar. [Introduction to Quantum Computation] |
Tea | Soma Dutta. [A Brief Account of Paraconsistent Logics] |
| 17th Sep | Shashi Mohan Srivastava [A broad overview of model theory] |
Tea | Rana Barua. [Introduction to Computability] |
Lunch | Bob Coecke [From quantum foundations to natural language meaning via string diagrams] |
Tea | Mihir K. Chakraborty. [Paraconsistent Set Theory] |
Tea | Kuntal Ghosh. [Brain and Computability] |