School of Technology and Computer Science

Events: Colloquium

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

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

Induction, Invariants, and Abstraction
Speaker:
Deepak Kapur University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of A
Date:
Monday, 20 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Colloquium

Formal Proofs: From Principia Mathematica to Automated Reasoning
Speaker:
N. Raja School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Mum
Date:
Wednesday, 8 Dec 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:
Colloquium

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