DLS Schedule by Thomas Ball

December 12, 2019 by Web Admin
Event
Advances in Automated Theorem Proving ... - DLS Talk by Thomas Ball, Microsoft Research
Associated Faculty
Mark Greenstreet
Scheduling Contact
Holly Kwan

Thursday, December 5, 2019

08:00    Nick takes cab to UBC  (Address for taxi:  6245 Ag
08:30    Breakfast with Chen Greif                                                                 ICCS 201 (CS main office)
09:30Eldad Haber ICCS 219 (Chen's research office)
10:00 Srikanth Anasavarapu  ICCS 219
10:30Anne CondonX551
11:00  
11:30    
12:00Nick HarveyX851
12:30      

Lunch with students - Susanne Bradley, Nick Bradley, Chris Liaw, Justin Reiher and Sikander Randhawa

                                                                     

Meet outside ICCS 201 - walk to Bean Around the World
   
2:00Chen GreifICCS 201A
2:30Leon SigalICCS 119
3:00Break 
3:10Nick meets Chen in ICCS 201 - walk to Kaiser building                                                 
3:15Prep for TalkKAIS 2020/2030
3:30TALK - Intro by Host (Chen Greif)          KAIS 2020/2030
4:30Q&A 
4:50End of talk 
5.00Leave for Holiday Party with Chen 
5:30Holiday Party                                                                Nuba (3116 W Broadway)