DLS Schedule for Andrew Appel

October 17, 2016 by Holly Kwan
Event
Modular Verification for Computer Security - DLS Talk by Andrew Appel, Princeton University
Speaker Affiliation
Princeton University
Associated Faculty
Mark Greenstreet
Ronald Garcia
Scheduling Contact
Holly Kwan

Wednesday, November 2, 2016 (unscheduled)

4:15               
Andrew arrives YVR International airport and takes cab to hotel                                                                                                                                                                 

Thursday, November 3, 2016

07:30                             Andrew takes cab to University Golf Course  (Address for Taxi: 5185 University Boulevard)                Location
08:00Breakfast with Bill AielloWestward Ho Restaurant (http://universitygolf.com/westward-ho/)
9:30Ivan Bestchastnikh
ICCS 327
10:00Norm Hutchinson
ICCS 319
10:30Mark GreenstreetICCS 323
11:00Karthik Pattabiraman (ECE)ICCS 204
11:30Chen Greif (Dept. Head)ICCS 201A
12:00BreakX553
12:15Lunch group meets at X553 and walks over to the bistro

12:30Lunch with Grads - Andrew, Patrick Colp (Host), Nodir Kodirov, Robert Reiss & Jean-Sebastien Legare          
Point Grill Bistro (Marine Drive Residence, 2205 Lower Mall) reserved under Computer Science
1:30Kosta Beznosov (ECE)KAIS 4047
2:00Alan HuICCS 325
2:30Ron GarciaICCS 387
3:15Prep for TalkDMP 110
3:30TALKDMP 110
4:30Q&ADMP 110
4:50End of talk
5:30Leave for dinner
6:15
Dinner - Andrew, Mark Greenstreet (Co-Host), Ron Garcia (Co-Host), Ivan Bestchastnikh & Yan Peng
Restaurant: Trafalgar's Bistro (http://trafalgars.com/home.html) 2603 W. 16th Ave - reserved under Greenstreet/Computer Science                 

Friday, November 4, 2016

07:00                         
Andrew takes cab from hotel to YVR airport for 09:15 departure