1:20pm

Welcome Remarks

1:30pm

Juris Hartmanis

Turing Machine Inspired Computer Science Results

2:30pm

Randall Dipert

The place of Turing's solution to the Entscheidungsproblem in its (strictly) Philosophical and Logical Background and Impact

3:30pm

Coffee Break

4:00pm

Jin-Yi Cai

From Alan Turing to Holographic Algorithms

5:00pm

Dinner

Attendees on their own

9:00am

Anna Gilbert

A Survey of Fourier Sampling Algorithms

10:00am

Coffee Break

10:30am

Laura Sanità

0/1 Polytopes with Quadratic Chvátal Rank

11:30am

Amir Nayyeri

Tracing Compressed Curves in Triangulated Surfaces

12:30pm

Workshop Over