Tuesday, January 15 2013
11:30
Alladi Ramakrishnan Hall
Automata and logic for systems with unboundedly many agents
Sheerazuddin
IMSc
This will be the Public Viva for the PhD dissertation of Sheerazuddin.
Download as iCalendar
Done