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

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

Siddharth Sandipkumar Bhandari is the recipient of the ACM India 2022 Doctoral Dissertation Award for his dissertation titled “Exact Sampling and L

Kumar Saurav's Infocom 2021 paper presentation

Kumar Saurav, a graduate student at the School of Technology and Computer Science has been invited by ACM-India's Academic Research and Careers for