School of Technology and Computer Science

Past events

Topoalgebra
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:
A-212 (STCS Seminar Room)
Category:
Colloquium

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

Resource Constrained Signal Processing Algorithms and Architectures: A Holistic Approach
Speaker:
Amit Acharyya University of Southampton School of Electronics and Computer Science SO17 1BJ United Kingdom
Date:
Friday, 11 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Chemical Reaction Networks
Speaker:
Manoj Gopalkrishnan Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha R
Date:
Thursday, 10 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Biobytes Seminar

Invariance Principles in Probability and Their Applications in Theoretical Computer Science
Speaker:
Prahladh Harsha Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road
Date:
Tuesday, 8 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Colloquium

Paradoxes, Computers, and Reproduction
Speaker:
Manoj Gopalkrishnan Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha R
Date:
Thursday, 3 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Biobytes Seminar

Nearly Tight Bounds for Testing Function Isomorphism
Speaker:
Sourav Chakraborty Chennai Mathematical Institute Plot No. H1 SIPCOT IT Park Padur PO Siruseri - 603103
Date:
Wednesday, 2 Feb 2011 (all day)
Venue:
AG-69
Category:
Seminar

Formal Definitions and Complexity Results for Trust Relations and Trust Domains
Speaker:
Simon Kramer University of Luxembourg Interdisciplinary Centre for Security and Trust Campus Kirchberg, F103
Date:
Tuesday, 1 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Colloquium

A Unified Framework for Testing Linear-Invariant Properties
Speaker:
Arnab Bhattacharya Massachusetts Institute of Technology 32 Vassar St., Room G696 Cambridge, MA 02139 United
Date:
Monday, 31 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Specification and Verification of Timed and Communicating Systems
Speaker:
S. Akshay National University of Singapore Electrical and Computer Engineering Block E4, Level 8, Room 15 4 E
Date:
Monday, 31 Jan 2011 (all day)
Venue:
AG-80
Category:
Seminar