Events: Seminar

Building Certificates of Regular Expressions Equivalence

Speaker:
Benoit Razet Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Wednesday, 16 Mar 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Active Sequential Hypothesis Testing

Speaker:
Tara Javidi University of California, San Diego Dept. of Elect. & Comp. Engineering EBU-I bldg., Room 6602 95
Date:
Wednesday, 9 Mar 2011 (all day)
Venue:
AG-66 (Lecture Theatre)
Category:

Almost Settling the Hardness of Noncommutative Determinant

Speaker:
Prahladh Harsha Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Tuesday, 1 Mar 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

DIY Climate Change

Speaker:
Vaughan Pratt Stanford University Computer Science Department 2215 Old Page Mill Road Palo Alto, CA 94304
Date:
Tuesday, 15 Feb 2011 (all day)
Venue:
AG-66 (Lecture Theatre)
Category:

Non-euclidean Algebra

Speaker:
Vaughan Pratt Stanford University Computer Science Department 2215 Old Page Mill Road Palo Alto, CA 94304
Date:
Monday, 14 Feb 2011 (all day)
Venue:
AG-66 (Lecture Theatre)
Category: