Thursday 25.11 (Theresienstr 39, Room 113):
| 8:45-9:10 | Registration | ||
| 9:10-9:15 | Hans-Wolfgang Loidl | Welcome | |
| Session: Mobility | |||
| 9:15-9:45 | Andre Rauber du Bois, Phil Trinder | Strong Mobility in Mobile Haskell | |
| 9:45-10:15 | Didier Le Botlan, Andreas Rossberg, Gert Smolka, Guido Tack | Alice ML through the Looking Glass | |
| 10:15-10:45 | Xiao Yan Deng, Phil Trinder, Greg Michaelson | Towards High Level Autonomous Mobility | |
| 10:45-11:15 | BREAK | ||
| Session: Compilation Technology and Its Foundations | |||
| 11:15-11:45 | Laszlo Nemeth | Experiments with GHC's optimiser | |
| 11:45-12:15 | Kevin Hammond | An Instrumented Reduction Semantics for an Extended lambda-calculus | |
| 12:15-13:30 | LUNCH BREAK | ||
| (Theresienstr 39, Room 138) | |||
| Session: Resource-bounded Computation | |||
| 13:30-14:00 | Chunxu Liu, Greg Michaelson | Translating Hume to Java | |
| 14:00-14:30 | Gudmund Grov, Andrew Ireland, Greg Michaelson | Model Checking HW-Hume | |
| 14:30-15:00 | Stephen Gilmore, Olha Shkaravska | Estimating the cost of native method calls for resource-bounded functional progamming languages | |
| 15:00-15:30 | Fermin Reig | Generic proofs for combinator-based generic programs | |
| 15:30-16:00 | BREAK | ||
| Session: Functional Languages in Education and Applications | |||
| 16:00-16:30 | Joao Candido Dovicchi, Joao Bosco da Mota Alves | Functional and Procedural Languages and Data Structures Learning | |
| 16:30-17:00 | Manfred Widera | Data flow considerations for source code directed testing of functional programs | |
| 17:00-17:30 | Graham Hutton, Joel Wright | Calculating an Exceptional Machine | |
| 17:30-18:00 | Phil Trinder | Evaluating Erlang for Robust Telecoms Software | |
| 20:00- | Banquet : Augustinerkeller | ||
Friday 26.11 (Oettingenstr 67, Room 1.14):
| Session: Parallelism | |||
| 9:00-9:30 | Pablo Roldan Gomez, Jost Berthold | Eden Trace Viewer: A tool to visualize parallel functional program executions | |
| 9:30-10:00 | Abdallah Al Zain, Greg Michaelson, Hans-Wolfgang Loidl, Phil Trinder | Improving Load Balance in a Grid-enabled Parallel Haskell | |
| 10:00-10:30 | Zoltan Hernyak, Zoltan Horvath, Viktoria Zsok | Design of Language Elements for Dynamic Distributed Computation of Clean Expressions on Clusters | |
| 10:30-12:00 | LUNCH BREAK | ||
| Session: Foundations of Programming Languages | |||
| 12:00-12:30 | Neil Ghani, Tarmo Uustalu, Varmo Vene | Generalizing the AUGMENT combinator | |
| 12:30-13:00 | Thorsten Altenkirch, Jonathan Grattage | A functional quantum programming language | |
| 13:00-13:30 | Baltasar Trancon y Widemann | An Implementation Strategy for Polynomial Subtyping | |
| 13:30-14:00 | Catherine Dubois,Thérèse Hardin, Véronique Viguié Donzeau Gouge | FOCAL: an environment for developing certified components | |
| 14:00-14:30 | BREAK | ||
| Session: Verification | |||
| 14:30-15:00 | Ron van Kesteren, Marko van Eekelen, Maarten de Mol | An Effective Proof Rule for General Type Classes | |
| 15:00-15:30 | Leonard Lensink, Marko van Eekelen | Induction and Co-induction in Sparkle | |
| 15:30-16:00 | Nikolaj Popov, Tudor Jebelean | Verification of Functional Programs in Theorema | |
| 16:00-16:30 | BREAK | ||
| Session: User Interfaces | |||
| 16:30-17:00 | Stefan Heimann, Matthias Neubauer | Reactive Objects for Haskell | |
| 17:00-17:30 | Sander Evers, Peter Achten, Rinus Plasmeijer | Disjoint Forms in Graphical User Interfaces | |
| 17:30-18:00 | Silvia Clerici, Cristina Zoltan | A graphic functional-dataflow environment | |
| Main TFP04 page | | | Registration page | | | Accomodation page | | | Local information | | | Paper submission | | | TFP series |