9:00 Start
9-9:30 An Embedded Language Approach to Teaching Hardware Compilation, Koen Claessen (Chalmers University of Technology) and Gordon Pace (INRIA)
9:30-10:00 Functional Low-Level Interpreters, Jerzy Karzmarczuk (University of Caen)
11:00-11:30 The Structure and Interpretation of the Computer Science Curriculum, Matthias Felleisen (Northeastern University), Robert Bruce Findler (Northeastern University), Matthew Flatt (University of Utah), Shriram Krishnamurthi (Brown University)
2:00-2:30 A Language for Mathematical Visualization, John Peterson (Yale University)
2:30-3:00 The Risks and Benefits of Teaching Purely Functional Programming in First Year, Manuel Chakravarty and Gabrielle Keller (University of New South Wales)
3:00-3:15 HaLeX: A Haskell Library to Model, Manipulate and Animate Regular Languages, João Saraiva (University of Minho)
3:15-3:30 Haskell in Space Christoph Lüth (University of Bremen)
4:00-4:15 Deconstructing Factorial, Fritz Ruehr (Williamette University)
4:15-4:30 Functional Programming Patterns and Their Role in Instruction, Eugene Wallingford (University of Northern Iowa)
4:30-4:45 Computer Aided Exercisiing in Prolog and SML, David Hanák, Tamás Benkó, Peter Hanák and Péter Szeredi (Budapest University of Technology and Economics)
4:45-5:00 Using Music to Teach Computation and Mathematics in Secondary Education, John Peterson (Yale University)
5:00-5:30 Closing discussion
5:30 End