Schedule

There will be 17 lectures and 5 tutorials spread over a span of 6 days.

The afternoon of the final day will be reserved for selected student presentations based on the topics from the bucket predetermined by the resource persons—the students could work in groups on the topic of their choice.

Student Presentations Schedule

14:15: Real numbers

14:30: A problem in Set Theory

14:45: Distributive lattices

15:00: Knaster-Tarski theorem

15:15: Undecidability of Domino Problem

15:30: How to teach propositional logic to a computer

15:45: Automated Theorem Proving and the Robbins Conjecture