Past events

Verification of Concurrent Programs Under Weak Memory

Speaker:
Krishna S. (Indian Institute of Technology, Bombay)
Organiser:
Mrinal Kumar, Ramprasad Saptharishi
Date:
Thursday, 18 Jul 2024, 16:00 to 17:00
Venue:
AG-66
Category:

Matchings and Popularity

Speaker:
Organiser:
Mrinal Kumar, Ramprasad Saptharishi
Date:
Monday, 15 Jul 2024, 16:00 to 17:00
Venue:
AG-66
Category:

Vigyan Vidushi 2024

Organiser:
Mrinal Kumar, Ramprasad Saptharishi
Date:
Monday, 15 Jul 2024 to Friday, 26 Jul 2024 (all day)
Venue:
TIFR, Mumbai.
Category:

Sperner's lemma and the equidissection of regular polygons

Speaker:
Pranshu Gaba (TIFR)
Organiser:
Yeshwant Chandrakant Pandit
Date:
Friday, 12 Jul 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

Limitations of Massively Parallel Constant-time Algorithms

Speaker:
Vaibhav Krishan (Indian Institute of Technology, Bombay)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 9 Jul 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

(Δ + 1) Vertex Coloring in O(n) communication

Speaker:
Parth Mittal (University of Waterloo)
Organiser:
Hari Krishnan P A
Date:
Friday, 5 Jul 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)

A Formal Approach to Exchange Design and Regulation

Speaker:
Suneel Sarswat (TIFR)
Organiser:
N Raja
Date:
Friday, 5 Jul 2024, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)

Fair Sparse Regression with Clustering: An Invex Relaxation for a Combinatorial Problem

Speaker:
Adarsh Barik (National University of Singapore (NUS))
Organiser:
Piyush Srivastava
Date:
Monday, 1 Jul 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Counting Problems in Graphical Models

Speaker:
Vidya Sagar Sharma (TIFR)
Organiser:
Piyush Srivastava
Date:
Friday, 28 Jun 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)

On the Satisfaction Probability of k-CNF Formulas

Speaker:
Koduri Choudary (TIFR)
Organiser:
Ramprasad Saptharishi
Date:
Friday, 28 Jun 2024, 14:00 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category: