|
ECE faculty colloquium by Varun Raghunathan
|
|
|
Talk by Sameer G. Kulkarni, Post-doctoral researcher, University of California Riverside
|
|
|
Program Synthesis meets Machine Learning by Sriram Rajamani
|
|
|
Term modal logic by Anantha Padmanabha
|
|
|
CSA Faculty Colloquium by Dr. V. Susheela Devi
|
|