School of Technology and Computer Science

Events: Seminar

Leonid Gurvits's Proof of the Van der Waerden Conjecture
Speaker:
Mohit Garg
Organiser:
Sarat Babu Moka
Date:
Friday, 19 Jul 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Split-width and the Verification of Concurrent Recursive Programs
Speaker:
K. Narayan Kumar (Chennai Mathematical Institute H1 SIPCOT IT Park Siruseri Chennai 600103)
Organiser:
Paritosh K Pandya
Date:
Wednesday, 17 Jul 2013, 10:30 to 11:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

A Bayesian Approach To Stochastic Root Finding
Speaker:
Sarat Babu Moka
Organiser:
Swapnil Singone
Date:
Friday, 5 Jul 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Constructive and Non-constructive Aspects of the Lovasz Local Lemma
Speaker:
Aravind Srinivasan (University of Maryland at College Park Department of Computer Science Room 3263, A.V. Williams Building College Park, MD 20742 United States of America)
Organiser:
Jaikumar Radhakrishnan
Date:
Tuesday, 2 Jul 2013, 10:30 to 11:30
Venue:
AG-69
Category:
Seminar

Constructive and Non-constructive Aspects of the Lovasz Local Lemma
Speaker:
Aravind Srinivasan (University of Maryland at College Park Department of Computer Science Room 3263, A.V. Williams Building College Park, MD 20742 United States of America)
Organiser:
Jaikumar Radhakrishnan
Date:
Monday, 1 Jul 2013, 14:30 to 17:00
Venue:
A-269 (DAA Seminar)
Category:
Seminar