Past events

Theory of Field $\mathbb{C} $ is Decidable

Speaker:
Prabhat Kumar Jha
Organiser:
Prerona Chatterjee
Date:
Saturday, 4 Jul 2020, 16:00 to 17:00

Proof Complexity of MaxSAT Resolution

Speaker:
Gaurav Sood (Institute of Mathematical Sciences Chennai, Tamil Nadu)
Organiser:
Prerona Chatterjee
Date:
Thursday, 25 Jun 2020, 14:30 to 15:30

Half-integral Duals, Connectivity Augmentation and Multiflows in Planar Graphs

Speaker:
Naveen Garg (Computer Science and Engineering Indian Institute of Technology Delhi New Delhi)
Organiser:
Rahul Vaze
Date:
Tuesday, 23 Jun 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Optimal Design of Queuing Systems via Compositional Stochastic Programming

Speaker:
Ketan Rajawat (Department of Electrical Engineering, Indian Institute of Technology, Kanpur)
Organiser:
Rahul Vaze
Date:
Tuesday, 16 Jun 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Weighted min-cut: Sequential, Cut-query and Streaming algorithms

Speaker:
Dr. Sagnik Mukhopadhyay (KTH, Stockholm)
Organiser:
Arkadev Chattopadhyay
Date:
Tuesday, 9 Jun 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Symmetry in Syndrome Decoding of Reed-Muller Codes

Speaker:
Andrew Thangaraj (IIT Madras)
Organiser:
Rahul Vaze
Date:
Tuesday, 2 Jun 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Tapestry: A Single-Round Smart Pooling Technique for COVID-19 Testing

Speaker:
Manoj Gopalkrishnan (Department of Electrical Engineering Indian Institute of Technology Bombay Mumbai)
Organiser:
Rahul Vaze
Date:
Tuesday, 26 May 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Battle of Bandits: Online Learning from Relative Preferences

Speaker:
Aditya Gopalan (Indian Institute of Science, Bangalore)
Organiser:
Rahul Vaze
Date:
Tuesday, 12 May 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)
Category:

Distribution oblivious risk-aware bandit algorithms

Speaker:
Jayakrishnan Nair (Indian Institute of Technology Bombay)
Organiser:
Rahul Vaze
Date:
Tuesday, 5 May 2020, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Integer Linear Programs and Local Search for Max-Cut (Author: Svatopluk Poljak)

Speaker:
Vidya Sagar Sharma
Organiser:
Kumar Saurav
Date:
Friday, 6 Mar 2020, 14:00 to 15:00
Venue:
A-201 (STCS Seminar Room)