School of Technology and Computer Science

Events: STCS Seminar

Community Detection in Networks: Algorithms, Complexity, and Information Limits
Speaker:
Bruce Hajek (University of Illinois at Urbana-Champaign Electrical and Computer Engineering 105 Coordinated Science Lab MC 228 1308 W. Main St. Urbana Illinois 61801 United States of America)
Organiser:
Sandeep K Juneja
Date:
Thursday, 11 Aug 2016, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Lightweight Formal Methods for LLVM Verification
Speaker:
Santosh Nagarakatte (Rutgers University Department of Computer Science New Brunswick United States of America)
Organiser:
Ashutosh Gupta
Date:
Friday, 5 Aug 2016, 15:00 to 16:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Weierstrass Polynomial Approximation Theorem for $C[0,1]$ via Weak Law of Large Numbers
Speaker:
Krishna Athreya (Iowa State University Department of Statistics 2438 Osborn Dr. Ames Iowa 50011-4040 United States of America)
Organiser:
Sandeep K Juneja
Date:
Monday, 25 Jul 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Minimizing Latency in Cloud Based Systems: Replication Over Parallel Servers
Speaker:
Ness B. Shroff (The Ohio State University Department of Electrical and Computer Engineering Dreese Laboratories 2015 Neil Ave Columbus, Ohio 43210 United States of America  )
Organiser:
Sandeep K Juneja
Date:
Friday, 10 Jun 2016, 16:00 to 17:00
Venue:
AG-80
Category:
STCS Seminar

Types, Proofs and Homotopy
Speaker:
Piyush Kurur (Indian Institute of Technology Department of Computer Science and Engineering Kanpur  208016 And Visiting Professor School of Technology and Computer Science TIFR, Mumbai)
Organiser:
Paritosh K Pandya
Date:
Monday, 25 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar