The schedule and registration for the "Haskell in Leipzig"
meeting on June 4 are now on-line: http://www.iba-cg.de/hal5.html
Keywords: Leksah, HXT, Hawk, Adga, lambda camp, sound synthesis.
The workshop is presented by http://www.fit-leipzig.de/ ,
in co-operation with http://www.imn.htwk-leipzig.
TAIC-PART is an interesting conference on testing that takes place in wonderful
surroundings in Windsor Park. I recommend it-I much enjoyed it last year. It's
calling for "fast abstracts"-short papers on new results-by June 11th. It would
be fun to see work on testing in the FP community repres
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** NEW SUBMISSION DEADLINE: May 28, 2010 *)
The Third International Conference on Verified Software: Theories,
Tools, and E