| 9:00-10:30 |
Provably Trustworthy Artificial Intelligence-1 by Dr. Gagandeep Singh ( ) |
|
SAT Solving - 2 by Prof. Shaowei Cai () |
| 10:30-10:45 |
Break |
|
Break |
| 10:45-11:45 |
Provably Trustworthy Artificial Intelligence-2 by Dr. Gagandeep Singh () |
|
SAT Solving - 2 by Prof. Shaowei Cai () |
| 11:45-12:00 |
Break |
|
Break |
| 12:00-13:00 |
Provably Trustworthy Artificial Intelligence-3 by Dr. Gagandeep Singh () |
|
SAT Solving - 3 by Prof. Shaowei Cai () |
| 13:00-15:00 |
|
|
|
| 15:00-15:20 |
|
Short Talk by Sumanth Prabhu () |
|
| 15:20-15:40 |
|
Short Talk by Anand Yeolekar () |
|
| 15:40-16:00 |
|
Short Talk by Divyesh Unadkat () |
|
| 16:00-16:15 |
|
Break |
|
| 16:15-16:35 |
|
Short Talk by Himanshu Sheoran () |
|
| 16:35-16:55 |
|
Short Talk by S. Akshay () |
|
| 16:55-17:30 |
|
Break |
|
| 17:30-19:00 |
|
Proof of Unsatisfiability: Validation and Applications-1 by Dr. Marijn Heule () |
|
| 19:00-19:15 |
|
Break |
|
| 19:15-21:00 |
|
Proof of Unsatisfiability: Validation and Applications-2 by Dr. Marijn Heule () |
|
