Program
Second Workshop on Haskell And Rewriting Techniques (HART 2014)
The abstracts of invited talks and accepted contributions are available
here and
here.
Where provided by the speakers (of non-whiteboard-only talks), slides are linked off below.
Session 1: 9:00 - 10:30
Coffee break
Session 2: 11:00 - 12:30
Lunch
Session 3: 14:00 - 15:30
Coffee break
Session 4: 16:00 - 17:30
Closing Discussion: 17:30 - 18:00