[Haskell] CFP: European Conference on Logics in AI [JELIA'06]