A | B | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Timestamp | Proposed presentation topic | Team member 1 | Email: Team member 1 | Team member 2 | Email: Team member 2 | Team member 3 | Email: Team member 3 | Team member 4 | Email: Team member 4 | Team member 5 | Email: Team member 5 | ||||||
2 | 14:15 | Real numbers | S.SRI BHAVATHARINI | sribhavatharinis@gmail.com | M.S. DARSINI | darsinisuresh@gmail.com | K S NIVASHINI | nivagoms2002@gmail.com | ||||||||||
3 | 14:30 | A problem in Set Theory | Dipanwita Bose | dipanwitabose113@gmail.com | Dipanwita Bose | dipanwitabose113@gmail.com | ||||||||||||
4 | 14:45 | Distributive lattices and Knaster-Tarski theorem | M Nikhesh Kumar | nikhmurali@gmail.com | Vineeta Singh | vineetasingh1994@gmail.com | Muthukumar M | muruganmuthu327@gmail.com | GK Chaithanya | Nidhish Unnikrishnan | ||||||||
5 | 15:00 | On Cardinal arithmetic and it's applications | M Nikhesh Kumar | nikhmurali@gmail.com | Nidhish Unnikrishnan | nidhishunnikrishnan@yahoo.com | Muthukumar M | muruganmuthu327@gmail.com | Vineeta Singh | vineetasingh1994@gmail.com | GK Chaithanya | cberbalaje@gmail.com | ||||||
6 | 15:15 | Undecidability of Domino Problem | Aditya Thorat | adityal16@iiserb.ac.in | Agnivo Banerjee | ab17ms093@iiserkol.ac.in | Divyasree C R | divyasree16@iiserb.ac.in | Harsh Patil | harshs16@iiserb.ac.in | Rupkatha Chand | rupkathachand@gmail.com | ||||||
7 | 15:30 | How to teach propositional logic to a computer | Anand Rao | anand.tadipatri@students.iiserpune.ac.in | Dhruv Bhasin | bhasin.dhruv@students.iiserpune.ac.in | ||||||||||||
8 | 15:45 | Automated Theorem Proving and the Robbins Conjecture | Shashank Pathak | shashank18@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 |