News
Teaching
| COL765 |
INTRO. TO LOGIC & FUNCT. PROG. Sanjiva Prasad |
| COL832 | PROOFS AND TYPES S. Arun Kumar |
| COL728 | COMPILER DESIGN Sorav Bansal |
| COV885 | SPECIAL MODULE IN COMPUTER AP. Subodh Sharma |
| COL703 | LOGIC FOR COMPUTER SCIENCE Kumar Madhukar |
| COL753 | COMPLEXITY THEORY Nikhil Balaji |
Consider Submitting
| NFM 2023 | Dec 9, 2022 |
| CAV 2023 | Feb 3, 2023 |
| TASE 2023 | Feb 10, 2023 |
| SECRYPT 2023 | Feb 23, 2023 |
| EURO-PAR 2023 | Feb 24, 2023 |