64 Monday, September 23 Laureates‘ Plenary Lectures Dabbala Rajagopal Reddy “Who invented the Computer? Babbage, Zuse, Atanasoff, Turing or von Neumann?“ Leslie G. Valiant “Learning as the Source of Life’s Phenomena” Stephen Smale “Protein Folding” Curtis T. McMullen “Billiards and Moduli Spaces” Edmund Melson Clarke “Model Checking and the Curse of Dimensionality”