Schedule

Venue for offline lectures: L13, LHC, IIT Kanpur.

Time Table in Indian Standard Time (IST)

Students' Presentation on 21st May (Saturday):

Anand Rao Tadipatri + Krishnendu Kar Yoneda lemma 11.45am-12.05pm

Suyash Srivastava + Bhargav Kale + Vinit Sinha Chains and Antichains 12.05-12.30pm

Nupur Jain Cylindrical Algebra 12.30-12.45pm

Atri Bhaumik + Sagar Arora Zorn's Lemma 12.45-1.05pm

Bisham Dewan + Debanjan Chakraborty + Suyash K Pathak Complete lattices 1.05-1.30pm

LUNCH

Nitish + Jaskirat + Neha Dualities in Modal logic 2.30-2.55pm

Chander Mohan Algebra-Topological Dualities 2.55-3.10pm

Manan + Lavesh Completeness of Propositional logic 3.10-3.30pm

Avijeet Ghosh + Chandrima Kayal Demorgan lattices to games 3.30-3.50pm

Time Table in Central European Summer Time (CEST)

or

South African Standard Time (SAST)

Time Table in Greenich Mean Time (GMT)