Agenda

The gadget spec URL could not be found
09:00 - 9:30  Registration

09:30 - 10:00  Prof. Shmuel Klein, Bar-Ilan University - Welcome
                     Rabbi Professor Daniel Hershkowitz, Minister of Science and Technology - Greetings
                     Prof. Yossi Matias, Google - Introduction
                     Prof. Amiram Yehudai, Tel Aviv University - About Alan Turing

10:00 - 10:45  Prof. Michael Rabin, Turing Award laureate, Hebrew University & Harvard University
Turing, Church, Gödel, Computability, Complexity and Randomization

10:45 - 11:30  Prof. Jacob Ziv, Technion Institute
An Axiomatic, Non-probabilistic Approach to Classification of Individual Sequences

11:30 - 12:15  Prof. Joseph Sifakis, Turing Award laureate, VERIMAG Laboratory and EPFL  
From Programs to Systems: Building a Smarter World 

12:15 - 13:15  Lunch

13:15 - 14:00  Dr. Alfred SpectorVice President of Research, Google
From Turing to Contemporary Systems and Beyond

14:00 - 14:45  Prof. Shimon Ullman, Weizmann Institute
Turing Test and Thinking Machines

14:45 - 15:30  Prof. Micha Sharir, Tel Aviv University
Geometry in Motion: From Turing Machines to Crawling Ants

15:30 - 16:00 Coffee Break

16:00- 16:45  Prof. Corinna Cortes, Google
Turing's Estimation Technique and Large-scale Machine Learning

16:45 - 17:30 Prof. David Harel, Weizmann Institute
Standing on the Shoulders of a Giant: One Person's Experience of Turing's Impact

17:30 - 18:00  Open forum