09:00

Welcome

09:05 - 10:00

Invited Talk

"Putting Curry-Howard to work"

Lennart Augustsson, Standard Chartered Bank

10:00 - 10:30

Tea and coffee break

10:30 - 11:00

Paper

"Inductive Programming - A Survey"

Emanuel Kitzelmann

11:00 - 12:00

Invited Talk

"Deriving a DSL from One Example"

Neil Mitchell, Standard Chartered Bank

12:00 - 13:30

Lunch break

13:30 - 14:00

Paper

"Incremental Learning in Inductive Programming"

Robert Henderson

14:00 - 14:30

Paper

"Enumerating Well-Typed Terms Generically"

Alexey Rodriguez Yakushev and Johan Jeuring

14:30 - 15:00

Paper

"Defining inductive operators using distances over lists"

V. Estruch, C. Ferri, J. Hernandez-Orallo, M.J. Ramirez-Quintana

Tea and coffee break

15:30 - 16:30

Invited Talk

"Synthesis of Functions Using Generic Programming"

Peter Koopman and Rinus Plasmeijer, University of Nijmegen

16:30 - 17:00

Paper

"Porting IgorII from Maude to Haskell"

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

17:00 - 17:30

Paper

"Automated Method Induction - Functional Goes Object Oriented"

Thomas Hieber, Martin Hofmann

17:30 - 18:00

Report

Work in Progress reports on MagicHaskeller (abstract 1, abstract 2)

Susumu Katayama

18:00

Finish (latest)

later

post-workshop meeting and get together