IPA IPA Fall Days 2007 Beyond Turing Introduction Mark de Berg TU Eindhoven

IPA Fall Days 2007: Beyond Turing Focus Areas 2007–2012  Algorithms & Models for Life Sciences  Hybrid Systems  Model-Driven Software Engineering  Software analysis  Beyond Turing Summer 2007: reaccreditation by KNAW

IPA Fall Days 2007: Beyond Turing 1936: On computable numbers, with an aplication to the Entscheidungsproblem  Turing machine : The Bombe 1950: Computing machinery and intelligence  Turing test 1954: suicide by cyanide poisoning Alan Turing (1912 – 1954) British mathematician / computer scientist / philosopher / …

IPA Fall Days 2007: Beyond Turing Classical computing input output environment Turing machine / pointer machine / random-access machine  unbounded uniform memory  computations over finite alphabet  finite computations  behavior (algorithm) is fixed  no interaction with environment memory finite state machine

IPA Fall Days 2007: Beyond Turing Modern and/or future computing systems input output environment memory finite state machine  quantum- and other computers  no uniform, unbounded memory  systems are “always on”  interaction with environment and other algorithmic systems  environment and, hence, algorithmic systems evolve over time L1 cache L2 cache L3 cache registers main memory disk ALU environment

IPA Fall Days 2007: Beyond Turing MondayAlternative computational models I TuesdayInteracting algorithmic systems I Invited talk: Jiři Wiedermann (Prague) Interacting algorithmic systems II WednesdayEvolving algorithmic systems I Open session (-> contact Arie Middelkoop) ThursdayInteracting algorithmic systems II Invited talk: Jan Vahrenhold (Dortmund) Alternative computational models II Social event FridayEvolving algorithmic systems I Interacting algorithmic systems IV PROGRAM

IPA ENJOY! Fall Days 2007: Beyond Turing