Pioneers of Computer Science: From Turing to Harel

• Prof. Wil van der Aalst: Welcome

• Prof. Jan van Leeuwen (Utrecht University): Computation after Turing

• Prof. Jan Friso Groote (TU/e): Software Modeling and Verification: System Design is Maturing

• Prof. Grzegorz Rozenberg (Leiden University and University of Colorado at Boulder): A Formal Framework for Processes Inspired by the Functioning of Living Cells

• Prof. David Harel (Weizmann Institute of Science): Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impact