Unambiguity and Timed Languages: Automata, Logics, Expressiveness

Speaker:

Simoni Shah

School of Technology and Computer Science
Tata Institute of Fundamental Research
Homi Bhabha Road
Mumbai 400005

Monday, 15 July 2013, 11:00 to 12:30

STCS welcomes Raghuvansh Saxena

Raghuvansh Saxena joins the School of Technology and Computer Science as a Reader.

Prahladh Harsha appointed as Editor in Chief of ACM TOCT

Prof. Prahladh Harsha has been appointed as the Editor-in-Chief of ACM's Transactions on Computation Theory journal.

Siddharth Bhandari wins ACM India 2022 Doctoral Dissertation Award