[Haskell-cafe] [ANNOUNCEMENT] 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France

[Johannes Waldmann]

Dear Cafe -

if your're using Haskell, you are using (term) rewriting:
both first order (pattern matching on algebraic data types)
and higher order (lambda calculus).

Here is your chance to get the fundamentals right,
and see more applications:

the 11th International School on Rewriting (ISR'19),
1-6 July 2019, MINES ParisTech, France.

  https://isr2019.mines-paristech.fr/

Deadline for early registration: May 17

full text of call for participation
http://lists.tcs.ifi.lmu.de/pipermail/loginf/2019/001723.html

- J.W.