Workshops
Fall 2016

Logical Structures in Computation Reunion Workshop

Dec. 11Dec. 14, 2017
  • Click on the titles of individual talks for abstract and slides.
Add to My Calendar
Monday, December 11th, 2017
9:00 am9:20 am
Coffee and Check-In
9:20 am9:30 am
Opening Remarks
9:30 am10:30 am
10:30 am11:00 am
11:00 am11:30 am
Break
11:30 am12:00 pm
12:00 pm12:30 pm
12:30 pm2:00 pm
Lunch
2:00 pm2:30 pm
2:30 pm3:00 pm
3:00 pm3:30 pm
3:30 pm4:00 pm
Walk to Sutardja Dai Hall and Light Refreshments
4:00 pm5:00 pm
Tuesday, December 12th, 2017
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
10:30 am11:00 am
11:00 am11:30 am
Break
11:30 am12:00 pm
12:00 pm12:30 pm
12:30 pm2:00 pm
Lunch
2:00 pm2:30 pm
2:30 pm3:00 pm
3:00 pm3:30 pm
3:30 pm4:00 pm
Break
4:00 pm4:30 pm
4:30 pm5:00 pm
5:00 pm5:30 pm
5:30 pm6:30 pm
Reception
Wednesday, December 13th, 2017
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
10:30 am11:00 am
11:00 am11:30 am
Break
11:30 am12:00 pm
12:00 pm12:30 pm
12:30 pm2:00 pm
Lunch
2:00 pm2:30 pm
2:30 pm3:00 pm
3:00 pm3:30 pm
3:30 pm4:00 pm
Break
4:00 pm4:30 pm
4:30 pm5:30 pm
Panel Discussion
Thursday, December 14th, 2017
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
10:30 am11:00 am
11:00 am11:30 am
Break
11:30 am12:00 pm
12:00 pm12:30 pm
12:30 pm2:00 pm
Lunch
2:00 pm2:30 pm
2:30 pm3:00 pm
3:00 pm3:30 pm
3:30 pm4:00 pm
Break
4:00 pm5:00 pm
Wrap-up Discussion