Call for proposals: Reviewing, testing, and managing LLM generated Haskell

I think it’s the same as it would be for any other conference focussed on a tool or methodology. Some variant of a “Why Formal Methods Are Bad” talk could absolutely be welcome at a formal methods conference, provided it was thoughtful and constructive. But you probably wouldn’t want too much of that, since the event probably selects for people who are more interested in how to apply the tool.