School of Technology and Computer Science

Past events

Recovering from Adversarial Error in Boolean Circuits
Speaker:
Anup Rao (Department of Computer Science and Engineering University of Washington Seattle, WA 98195-2350 United States of America  )
Organiser:
Prahladh Harsha
Date:
Wednesday, 18 Jul 2012, 16:00 to 17:00
Venue:
AG-69
Category:
Seminar

A Simple Combinatorial Algorithm for Submodular Function Minimization
Speaker:
Sagnik Mukhopadhyay
Organiser:
Sarat Babu Moka
Date:
Friday, 13 Jul 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar

Reconstruction of Binary Functions and Shapes From Incomplete Frequency Information
Speaker:
Tapan Shah
Organiser:
Sagnik Mukhopadhyay
Date:
Friday, 6 Jul 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar

Correctness of Closed Nesting in Software Transactional Memory Systems
Speaker:
Dr. Sathya Peri (Indian Institute of Technology, Patna Department of Computer Science and Engineering Patna 800013)
Organiser:
John Barretto
Date:
Wednesday, 4 Jul 2012, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Introduction to Representation Theory
Speaker:
Dr. Sudarshan Gurjar (School of Mathematics, TIFR)
Organiser:
Sagnik Mukhopadhyay
Date:
Friday, 29 Jun 2012, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar

Sparsely Supported Correlated Equilibrium
Speaker:
Ratnik Gandhi
Organiser:
Karthyek Rajhaa A M
Date:
Friday, 22 Jun 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Student Seminar

Formal Design and Analysis of Cyber-Physical Systems
Speaker:
Ashutosh Trivedi (University of Pennsylvania Department of Computer and Information Science 3330 Walnut Street Philadelphia, PA 19104 United States of America)
Organiser:
John Barretto
Date:
Thursday, 21 Jun 2012, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Completing Latin Squares
Speaker:
Mohit Garg
Organiser:
Karthyek Rajhaa A M
Date:
Friday, 15 Jun 2012, 15:00 to 16:30
Venue:
A212
Category:
Student Seminar

Probabilistic Systems and Their Verification
Speaker:
Kamal Lodaya (Institute of Mathematical Sciences IV Cross Road CIT Campus Taramani Chennai 600113)
Date:
Thursday, 14 Jun 2012, 16:30 to 17:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Can We Optimize Path By Path?
Speaker:
Karthyek Rajhaa A M
Organiser:
John Barretto
Date:
Friday, 8 Jun 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar