| 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-16:00 |
|
Short talks |
|
| 16:00-16:15 |
|
Break |
|
| 16:15-17:15 |
|
Short talks |
|
| 17:15-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 |
|
