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

Can We Optimize Path By Path?

Organiser:
John Barretto
Date:
Friday, 8 Jun 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:

Probabilistic Systems and Their Verification

Speaker:
Kamal Lodaya (Institute of Mathematical Sciences IV Cross Road CIT Campus Taramani Chennai 600113)
Organiser:
John Barretto
Date:
Friday, 8 Jun 2012, 11:30 to 12:30
Venue:
A-212 (STCS Seminar Room)
Category:

An Information Theoretic Framework for Sensor Data Fusion for Robotics Applications

Speaker:
Gaurav Pandey (University of Michigan Department of Electrical Engineering and Computer Science Ann Arbor United States of America)
Organiser:
Onkar Dabeer
Date:
Wednesday, 23 May 2012, 14:30 to 15:30
Venue:
AG-80
Category:

,"," Unbiased Coin Tossing With a Biased Coin"

Speaker:
Organiser:
John Barretto
Date:
Friday, 4 May 2012, 15:00 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category: