Well-Typed Blog: Haskell Symposium 2023
Well-Typed Blog: Haskell Symposium 2023
The Haskell Symposium is a two-day workshop co-located with the International Conference on Functional Programming (ICFP). In a previous blog post we discussed the Haskell Implementors’ Workshop (HIW), which is another Haskell-workshop co-located with ICFP, but unlike HIW, the Haskell Symposium is a scientific workshop with peer-reviewed papers.
This year Well-Typed presented one paper at the Haskell Symposium: Edsko de Vries presented the theory that underlies his new library for property based testing, called falsify...
Sadly, it seems things are not going so well for the Symposium: https://discourse.haskell.org/t/rfc-changes-to-the-haskell-symposium/8359?u=jaror
@jaror perhaps it would help to not have it be collocated with ICFP which seems to be quite inaccessible.
@mangoiv @jaror Inaccessible in what way? Cost? I doubt not colocating with ICFP would be an advantage, actually. The Haskell Symposium is an academic conference, and there's huge overlap between the audiences of ICFP and the Haskell Symposium. Moving HIW elsewhere sounds plausible to me, moving the Haskell Symposium does not.