Tutors ====== Paul Abbott (Univ. of Western Australia) (PA) Nancy Blachman (Stanford Univ.) (NB) Gregory Chaitin (IBM, NY) (GC) Gautam Dasgupta (Columbia Univ.) (GD) Allan Hayes (De Montfort Univ.) (AH) Veikko Keränen (Rovaniemi Inst. of Tech.) (VK) Simo Kivelä (Helsinki Univ. of Technology) (SK) Phil Ramsden (Imperial College) (PR) Klaus Sutner (Carnegie-Mellon Univ.) (KS) Tom Wickham-Jones (Wolfram Research) (TWJ) Tutors Titles of talks ====== =============== Paul Abbott: The factorial function and Fibonacci numbers Nancy Blachman: What got me started with Mathematica Gregory Chaitin: Mathematica in the research on the limits of mathematical reasoning Gautam Dasgupta: Engineering design with Mathematica objects Allan Hayes: Education and information technology Simo Kivelä: Mathematical modeling of real world problems Phil Ramsden: Experiments in undergraduate mathematics Klaus Sutner: Mathematica and discrete mathematics Tom Wickham-Jones: Introductory Graphics in Mathematica PRELIMINARY SCHEDULE The General Lectures and Demonstrations are in the main lecture hall of the Vocational Institute. Laboratory sessions are in Lab1, Lab2 and Lab3, all located in the Rovaniemi Institute of Technology. In the laboratory sessions, the participants will be divided into six groups A, B, C, D, E, and F. Groups A & D will go to Lab1. Groups B & E will go to Lab2. Groups C & F will go to Lab3. Saturday 28 June 1997 08:00-08:45 Breakfast 08:30-09:30 Registration 09:30-10:00 Opening 10:00-10:45 Nancy Blachman (General Lecture) 11:00-11:45 Groups A&B&C in 3 computer labs (Lab1,Lab2,Lab3) groups D&E&F in demonstration (TWJ) Demo-I 12:00-12:45 Groups D&E&F in 3 computer labs (Lab1,Lab2,Lab3) groups A&B&C in demonstration (TWJ) Demo-I 12:45-14:00 Lunch 14:00-14:45 Paul Abbott (General Lecture) 15:00-15:45 Klaus Sutner (General Lecture) 16:00-16:45 Groups A&B&C in 3 computer labs (Lab1,Lab2,Lab3) groups D&E&F in demonstration (GD/VK) Demo-II 17:00-17:45 Groups D&E&F in 3 computer labs (Lab1,Lab2,Lab3) groups A&B&C in demonstration (GD/VK) Demo-II 17:45-19:00 Dinner 19:00-20:00 Phil Ramsden (General Lecture) 20:00-24:00 Self study in labs Sunday 29 June 1997 08:00-09:00 Breakfast 09:00-10:45 Simo Kivelä (General Lecture) 11:00-11:45 Groups D&E&F in 3 computer labs (Lab1,Lab2,Lab3) groups A&B&C in demonstration (KS) Demo-III 12:00-12:45 Groups A&B&C in 3 computer labs (Lab1,Lab2,Lab3) groups D&E&F in demonstration (KS) Demo-III 12:45-14:00 Lunch 14:00-14:45 Gregory Chaitin (General Lecture) 15:00-15:45 Gautam Dasgupta (General Lecture) 16:00-17:30 Allan Hayes (General Lecture) 17:30-18:30 Dinner 18:15-22:00 Evening Event sponsored by the Kemijoki Oy. The bus will leave at 18:15, 18:40 and 19:00. 22:00-24:00 Self study in labs Monday, June 30, 1997 INTERNATIONAL MATHEMATICA SYMPOSIUM ´97 Monday, June 30, 1997 9:00 to 9:30 Welcome 9:30 to 10:00 Coffee 10:00 to 12:00 Keynote-1: Stephen Wolfram, Mathematica (chair: Klaus Sutner) 12:00 to 14:00 Lunch 14:00 to 15:30 Keynote-2: Arto Salomaa, Computability Paradigms Based on DNA Complementarity (chair: Veikko Keränen) 15:30 to 16:00 Coffee 16:00 to 17:00 Keynote-3: Roman Maeder, Programming in Mathematica (chair: Gregory Chaitin) 17:15 to 18:00 Keynote-4: Paul Wellin, Education with Mathematica (chair: Nancy Blachman) 19:00 to 21:00 Reception at the Arktikum House hosted by the Rovaniemi City Clerk, Mauri Posio Fee: FIM 70 22:00 to 24:00 Keynote-5: Stephen Wolfram, Science (chair: Arto Salomaa)Tiistaina 1.7. järjestetään ekskursio, jonka vetäjäksi on lupautunut Rovaniemen Lyseonpuiston lukion lehtori Anna-Maija Partanen. Vaihtoehtoehtoina (joista valitaan yksi) on (1) patikointiretki Auttikönkäälle (matka tehdään bussilla), (2) kiertoajelu tai (3) veneretki.