School of Technology and Computer Science

Events: 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

Computing on a Full Memory
Speaker:
Bruno Loff (Charles University Department of Computer Science Malosranske nam. 25, 118 00 Praha 1 Czech Republic)
Organiser:
Arkadev Chattopadhyay
Date:
Wednesday, 20 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar