|
|
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
|
| |
|
|
EECS Advertisement for Faculty Positions in IEEE Spectrum and CACM
|
| |
