|
Time |
Saturday 23. June |
Sunday 24. June |
Monday 25. June |
Tuesday 26. June |
Wednesday 27. June |
Thursday 28. June |
Friday 29. June |
Saturday 30. June |
|
9:00 - 10:30 |
Rinus Plasmeijer iTasks: Defining Interactive Workflows for the Web |
E X C U R S I O N
|
Marko van Eekelen Proving Properties of Lazy Functional Programs |
Csörnyei Zoltán Lambda-Calculus |
Werner Kluge Abstract Lambda Calculus Machines |
Tim Sheard The Omega Programming Language |
Ralf Hinze Generics |
Ralf Hinze Generics |
|
10:30 11:00 |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
|
|
11:00 - 12:30 |
Horváth Zoltán Refactoring Erlang Programs |
Rinus Plasmeijer iTasks: Defining Interactive Workflows for the Web |
Marko van Eekelen Proving Properties of Lazy Functional Programs |
Tim Sheard The Omega Programming Language |
Werner Kluge Abstract Lambda Calculus Machines |
Ralf Hinze Generics |
Horia F. Pop A Tutorial on Object Orientedness in Functional Programming |
|
|
12:30 14:00 |
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
Lunch |
|
|
14:00 - 15:30 |
Rinus Plasmeijer iTasks: Defining Interactive Workflows for the Web |
Marko van Eekelen Proving Properties of Lazy Functional Programs |
Rinus Plasmeijer iTasks: Defining Interactive Workflows for the Web |
PhD Workshop |
Werner Kluge Abstract Lambda Calculus Machines |
Tim Sheard The Omega Programming Language
|
Ralf Hinze Generics |
|
|
15:30 16:00 |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
Coffee break |
|
|
16:00 - 17:30 |
Horváth Zoltán Refactoring Erlang Programs |
Csörnyei Zoltán Lambda-Calculus
|
Marko van Eekelen Proving Properties of Lazy Functional Programs |
PhD Workshop |
Tim Sheard The Omega Programming Language
|
Werner Kluge Abstract Lambda Calculus Machines |
Horia F. Pop A Tutorial on Object Orientedness in Functional Programming |
|
|
|
|
|
|
|
Banquet
|
|
|