Tentative Schedule


  10 December 11 December 12 December
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