School of Technology and Computer Science

Past events

Formal Methods for Software Reliability and Synthesis
Speaker:
Dr. Ashish Mishra (Purdue University (CS))
Organiser:
Shibashis Guha
Date:
Tuesday, 30 Jan 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Optimized Decision Making via Active Learning of Stochastic Hamiltonians
Speaker:
Prof. Chandrajit Bajaj (University of Texas at Austin)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 23 Jan 2024, 16:00 to 17:00
Venue:
A-201 Seminar Room
Category:
STCS Seminar

On the projected Aubry set of the rate function associated with large deviations for stochastic approximations
Speaker:
Prof. Henrik Hult (Professor in Mathematical Statistics)
Organiser:
Sandeep K Juneja
Date:
Monday, 22 Jan 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

On Approximability of Satisfiable CSPs
Speaker:
Prof. Amey Bhangale (University of California, Riverside)
Organiser:
Prahladh Harsha
Date:
Tuesday, 16 Jan 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

On the degree of polynomials computing square roots mod p
Speaker:
Shanthanu Suresh Rai (TIFR)
Organiser:
Ramprasad Saptharishi
Date:
Friday, 12 Jan 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
Seminar

The transformation of regular expressions into finite automata: old and new results
Speaker:
Jacques Sakarovitch (IRIF, CNRS/Paris Cité University)
Organiser:
Shibashis Guha
Date:
Thursday, 11 Jan 2024, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Of the data, by the data, for the data: an algorithmic viewpoint
Speaker:
Ashok Vardhan Makkuva (École Polytechnique Fédérale de Lausanne (EPFL))
Organiser:
Vinod M. Prabhakaran
Date:
Tuesday, 9 Jan 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Deterministic Algorithms for Low-Degree Factors of Constant-Depth Circuits
Speaker:
Varun Ramanathan (TIFR)
Organiser:
Varun Ramanathan
Date:
Friday, 5 Jan 2024, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

How powerful are homogeneous algebraic formulas?
Speaker:
Prof. Nutan Limaye (IT University of Copenhagen)
Organiser:
Ramprasad Saptharishi
Date:
Friday, 5 Jan 2024, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

List Decoding of Tanner and Expander Amplified Codes from Distance Certificates
Speaker:
Mr. Shashank Srivastava (Toyota Technological Institute at Chicago (TTIC))
Organiser:
Prahladh Harsha
Date:
Thursday, 4 Jan 2024, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar