9:30 - 10:00 | Straight to the Heart of Computer Science via Functional Programming
Robert Giegerich (Bielefeld University, Germany), Ralf Hinze (Bonn University, Germany) and Stefan Kurtz (Bielefeld University, Germany) |
10:00 - 10:30 | Advanced programming concepts in a course on grammars and parsing
Johan Jeuring and Doaitse Swierstra (Utrecht University, The Netherlands) |
Coffee | |
11:00 - 11:30 | Declarative Programming Across the Undergraduate Curriculum
Amr Sabry (University of Oregon, USA) |
11:30 - 12:00 | Plenary discussion |
Lunch | |
14:30 - 15:00 | Proof-directed debugging
Robert Harper (Carnegie-Mellon University, USA) |
15:00 - 15:30 | Fun-ctional programming tasks with strategic higher order
Kris Aerts and Karel de Vlaminck (Catholic University of Leuven, Belgium) |
Coffee | |
16:00 - 16:10 | Denotational Semantics for Teaching Lazy Functional Programming
Olaf Chitil (RWTH Aachen, Germany) |
16:10 - 16:30 | Implementing Constructivist Ideas in Functional Programming
Tami Lapidot, Dalit Levy and Tamar Paz (Technion, Israel) |
16:30 - 17:00 | Plenary discussion |
Presenters of short talks will be able to distribute their talks via the Web site should they so wish.
Matthias Felleisen | Michael Hanus | Simon Thompson |
Rice University, USA | RWTH Aachen, Germany | University of Kent, UK |