Keynote Speakers:

All three Keynotes of ITiCSE 2012 will be in conjunction with the Turing Centenary.

  On Tuesday 3 July, Prof. Michael O. Rabin, from the Hebrew University and Harvard University, and a Turing Award winner, will talk on "Never Too Early to Begin: Computer Science for High-School Students".

Computer science and technology innovated over the past sixty years, have revolutionized science, the economy and societal interactions.
Inherently CS constitutes a new science combining mathematics, logic, information theory and electronics, on par with physics, chemistry and the life sciences. It is appropriate to educate students in the fundamentals of this science. The curriculum should emphasize the scientific content rather than provide mere training in some programming language.

  On Wednesday 4 July, Prof. Lenore Blum, from Carnegie Mellon University, will talk on "Alan Turing and the Other Theory of Computation".

The two major traditions of the Theory of Computation, each asking claim to similar motivations and aspirations, have for the most part run a parallel non-intersecting course. On one hand, we have the tradition arising from logic and computer science addressing problems with more recent origins, using tools of combinatorics and discrete mathematics.
On the other hand, we have numerical analysis and scientific computation emanating from the classical tradition of equation solving and the continuous mathematics of calculus. Both traditions are motivated by a desire to understand the essence of computation, of algorithm; both aspire to discover useful, even profound, consequences.

While the logic and computer science communities are keenly aware of Alan Turing's seminal role in the former (discrete) tradition of the theory of computation, most remain unaware of Alan Turing's role in the latter (continuous) tradition, this notwithstanding the many references to Turing in the modern numerical analysis/computational mathematics literature.

In this talk I recognize Turing's work in the foundations of numerical computation. I also indicate its role in complexity theory today, and how it provides a unifying concept for the two major traditions in the Theory of Computation.

  On Thursday 5 July, Prof. David Harel, from the Weizmann Institute of Science, will talk on "Standing on the Shoulders of a Giant: One Person's Experience of Turing's Impact".

A link to a similar talk given by Prof. Harel in Eindhoven University of Technology
The talk will briefly describe three of Turing's major achievements, in three different fields: computability, biological modeling and artificial inteligence. Interspersed with this, I will explain how each of them directly motivated and inspired me to carry out a variety of research projects over a period of 30 years, the results of which can all be viewed humbly as extensions and generalizations of Turing's pioneering and ingenious insights.