ABDEFGHIJKLMNOPQRS
1
Timestamp
Proposed presentation topicTeam member 1Email: Team member 1Team member 2Email: Team member 2Team member 3Email: Team member 3Team member 4Email: Team member 4Team member 5Email: Team member 5
2
14:15Real numbersS.SRI BHAVATHARINI
sribhavatharinis@gmail.com
M.S. DARSINI
darsinisuresh@gmail.com
K S NIVASHINI
nivagoms2002@gmail.com
3
14:30A problem in Set TheoryDipanwita Bose
dipanwitabose113@gmail.com
Dipanwita Bose
dipanwitabose113@gmail.com
4
14:45Distributive lattices and Knaster-Tarski theorem M Nikhesh Kumarnikhmurali@gmail.comVineeta Singh
vineetasingh1994@gmail.com
Muthukumar M
muruganmuthu327@gmail.com
GK ChaithanyaNidhish Unnikrishnan
5
15:00On Cardinal arithmetic and it's applicationsM Nikhesh Kumarnikhmurali@gmail.comNidhish Unnikrishnan
nidhishunnikrishnan@yahoo.com
Muthukumar M
muruganmuthu327@gmail.com
Vineeta Singh
vineetasingh1994@gmail.com
GK Chaithanya cberbalaje@gmail.com
6
15:15Undecidability of Domino ProblemAditya Thoratadityal16@iiserb.ac.inAgnivo Banerjee
ab17ms093@iiserkol.ac.in
Divyasree C R
divyasree16@iiserb.ac.in
Harsh Patilharshs16@iiserb.ac.inRupkatha Chand
rupkathachand@gmail.com
7
15:30How to teach propositional logic to a computerAnand Rao
anand.tadipatri@students.iiserpune.ac.in
Dhruv Bhasin
bhasin.dhruv@students.iiserpune.ac.in
8
15:45Automated Theorem Proving and the Robbins ConjectureShashank Pathakshashank18@iiserb.ac.in
Prasanna Nandkumar Bramhe
prasanna17@iiserb.ac.in
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100